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