Module Fix.Gensym

Gensym offers a simple facility for generating fresh integer identifiers.

type gensym = unit -> int
val make : unit -> gensym
type generator
val generator : unit -> generator
val fresh : generator -> int
val current : generator -> int