module Identifier: sig
.. end
Build and manage unique (fresh) identifiers.
val counter : int array
Some predefined GLOBAL and independent counters.
The first may be used, for example, for generating fresh identifiers,
the second for generating tickets (time marks), and so on
val reset : ?index:int -> unit -> unit
Reset the global counter with the given index
val click : ?index:int -> unit -> int
Return a fresh unused value, using the given counter index, which is updated
val fresh : unit -> int
Return a fresh unused id (using the counter index 0)
val ticket : unit -> int
Return a fresh unused ticket which may be used, for instance, as time mark (using the counter index 1)
val makefresh : unit -> unit -> int
Allocating a new local counter and its related fresh function.