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