Up
–
frama-c
»
Frama_c_kernel
»
Datatype
»
Weak
» 1-W
Parameter
Weak.1-W
type
data
type
t
val
create :
int
->
t
val
add :
t
->
data
->
unit