Module Inferno.Utils

val postincrement : int Stdlib.ref -> int
val gensym : unit -> unit -> int

gensym() creates a fresh generator of fresh integer identifiers.