Inferno.Utils
val postincrement : int Stdlib.ref -> int
val gensym : unit -> unit -> int
gensym() creates a fresh generator of fresh integer identifiers.
gensym()