Counter
val next : unit -> int
Increments the counter and returns a fresh value
val get : unit -> int
the current value of the counter, without incrementing it.
val reset : unit -> unit
Resets the counter to 0.
val self : State.t
Frama-C