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