M2 : Base__Type_equal.Injective
M1 : Base__Type_equal.Injective
type 'a t
= 'a M1.t M2.t
val strip : ('a t, 'b t) Base__Type_equal.equal ‑> ('a, 'b) Base__Type_equal.equal