Up
–
base
»
Base
»
Type_equal
»
Composition_preserves_injectivity
» 2-M2
Parameter
Composition_preserves_injectivity.2-M2
type
'a t
val
strip :
(
'a
t
,
'b
t
)
equal
->
(
'a
,
'b
)
equal