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