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