module type Counter = sig .. end
sig
end
val next : unit -> int
unit -> int
Increments the counter and returns a fresh value
val get : unit -> int
val self : State.t
State.t