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