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