Up
—
package
base
Module
Base.Type_equal.Lift
Parameters
X
:
T.T1
Signature
val
lift : (
'a
,
'b
)
t
‑>
(
'a
X.t
,
'b
X.t
)
t