Module Type_equal.Lift3

Parameters

module X : T.T3

Signature

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