Module Type_equal.Lift2

Parameters

Signature

val lift : ('a1'b1) t -> ('a2'b2) t -> (('a1'a2) X.t('b1'b2) X.t) t