Module Type_equal.Lift2
Parameters
Signature
val lift : ('a1, 'b1) Base__Type_equal.t -> ('a2, 'b2) Base__Type_equal.t -> (('a1, 'a2) X.t, ('b1, 'b2) X.t) Base__Type_equal.t
Type_equal.Lift2
val lift : ('a1, 'b1) Base__Type_equal.t -> ('a2, 'b2) Base__Type_equal.t -> (('a1, 'a2) X.t, ('b1, 'b2) X.t) Base__Type_equal.t