type t
val make : n:int ‑> t
val stop : t ‑> unit
val incr : t ‑> unit
val set_count : t ‑> int ‑> unit