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