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