Up
Module
Lift2
(
X
:
T.T2
)
Parameters
X
:
T.T2
Signature
val
lift : ('a1, 'b1)
t
-> ('a2, 'b2)
t
-> (('a1, 'a2)
X.t
, ('b1, 'b2)
X.t
)
t