Module Type_equal.Lift2

Parameters

module X : T.T2

Signature

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