Module Type_equal.Lift

Parameters

• X : Base.T.T1

Signature

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