Up
–
base
»
Base
»
Type_equal
» Lift
Module
Type_equal.Lift
Parameters
Signature
Parameters
module
X
:
T.T1
Signature
val
lift :
(
'a
,
'b
)
t
->
(
'a
X.t
,
'b
X.t
)
t