Gensym.VarData
Symbol generation for data variables. Symbols take the form a,..., z, a1, ...z1, a2, ...
a,..., z, a1, ...z1, a2, ...
val gensym : unit -> string
val name_gensym : string -> unit -> string
val reset : unit -> unit