Up
Module type
Injective2
Injective2
is for a binary type that is injective in both type arguments.
Signature
type
('a1, 'a2) t
val
strip : (('a1, 'a2)
t
, ('b1, 'b2)
t
)
equal
-> ('a1, 'b1)
equal
* ('a2, 'b2)
equal