Up
–
frama-c
»
Frama_c_kernel
»
Dataflow2
»
StartData
» X
Parameter
StartData.X
type
t
val
size : int