Up
—
package
base
Module
Base.Type_equal.Lift2
Parameters
X
:
T.T2
Signature
val
lift : (
'a1
,
'b1
)
t
‑>
(
'a2
,
'b2
)
t
‑>
((
'a1
,
'a2
)
X.t
, (
'b1
,
'b2
)
X.t
)
t