Up
Module
Lift
(
X
: sig .. end)
needed in some cases even though t is exported and is a gadt
Parameters
X
: sig .. end
Signature
val
lift : ('a, 'b)
t
-> ('a
X.t
, 'b
X.t
)
t