Up
Parameter
M1
:
Injective
Signature
type
'a t
val
strip : ('a
t
, 'b
t
)
equal
-> ('a, 'b)
equal