Type_equal.Lift2
module T : T.T2
val lift : ('a1, 'b1) equal -> ('a2, 'b2) equal -> (('a1, 'a2) T.t, ('b1, 'b2) T.t) equal