Up

Module Lift (X : Core_kernel.T.T1)

Parameters

Signature

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