Up
–
frama-c-tai
»
Std_extra
»
Instances
»
LiftBinary
» I
Parameter
LiftBinary.I
type
('a, 'b) t
val
inject :
(
'a
,
'b
)
t
->
(
'a
,
'b
)
T.t