Up
–
frama-c-tai
»
Std_extra
»
Instances
»
Lift
» I
Parameter
Lift.I
type
t
val
inject :
t
->
T.t