Parameter Composition_preserves_injectivity.2-M2
val strip : ('a t, 'b t) Base__Type_equal.equal -> ('a, 'b) Base__Type_equal.equal
Composition_preserves_injectivity.2-M2val strip : ('a t, 'b t) Base__Type_equal.equal -> ('a, 'b) Base__Type_equal.equal