Counter
Creates a projectified counter. That starts at 0
module _ : sig ... end
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