Up
Module
Lift3
(
X
:
T.T3
)
Parameters
X
:
T.T3
Signature
val
lift : ('a1, 'b1)
t
-> ('a2, 'b2)
t
-> ('a3, 'b3)
t
-> (('a1, 'a2, 'a3)
X.t
, ('b1, 'b2, 'b3)
X.t
)
t