sig type ('a1, 'a2) t val strip : (('a1, 'a2) Type_equal.Injective2.t, ('b1, 'b2) Type_equal.Injective2.t) Type_equal.equal -> ('a1, 'b1) Type_equal.equal * ('a2, 'b2) Type_equal.equal end