Fix.Gensym
This module offers a simple facility for generating fresh integer identifiers.
val make : unit -> gensym
make()
produces a new gensym.
val generator : unit -> generator
generator()
creates a new generator.
val fresh : generator -> int
fresh g
causes the generator g
to create and return a fresh integer identifier.
val current : generator -> int
current g
returns the current state of the generator g
, that is, the next available integer identifier.