Up
–
base
»
Base
»
Type_equal
» Injective
Module type
Type_equal.Injective
type
'a t
val
strip :
(
'a
t
,
'b
t
)
equal
->
(
'a
,
'b
)
equal