_
val name : string
Name of the internal state.
val dependencies : State.t list
Dependencies of this internal state.
Frama-C