sig type 'a t val strip : ('a Type_equal.Injective.t, 'b Type_equal.Injective.t) Type_equal.equal -> ('a, 'b) Type_equal.equal end