_
include Info
val name : string
Name of the internal state.
val dependencies : State.t list
Dependencies of this internal state.
val initial_values : Data.t list
List of values created at compile-time, that must be shared between all instances of Frama-C.
Frama-C