Up
–
Index
»
docs
»
findlib-1
»
base
»
Base
»
Type_equal
» Lift
Module
Type_equal.Lift
Parameters
Signature
Parameters
module
T
:
T.T1
Signature
val
lift :
(
'a
,
'b
)
equal
->
(
'a
T.t
,
'b
T.t
)
equal