Module Type_equal.Lift

Parameters

• X : T.T1

Signature

val lift : ('a, 'b) t -> ('a X.t, 'b X.t) t