Up
–
Index
»
docs
»
findlib-1
»
base
»
Base
»
Type_equal
»
Composition_preserves_injectivity
» M1
Parameter
Composition_preserves_injectivity.M1
type
'a t
val
strip :
(
'a
t
,
'b
t
)
equal
->
(
'a
,
'b
)
equal