Up
Module
Lift
(
X
:
T.T1
)
Parameters
X
:
T.T1
Signature
val
lift : ('a, 'b)
t
-> ('a
X.t
, 'b
X.t
)
t