Parameter Composition_preserves_injectivity.1-M1
val strip : ('a t, 'b t) Base__Type_equal.equal -> ('a, 'b) Base__Type_equal.equal
Composition_preserves_injectivity.1-M1
val strip : ('a t, 'b t) Base__Type_equal.equal -> ('a, 'b) Base__Type_equal.equal