Up
—
package
core_kernel
Module type
Core_kernel__.Type_equal.Injective
type
'a t
val
strip : (
'a
t
,
'b
t
)
equal
‑>
(
'a
,
'b
)
equal