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