Syncom.Gensym
val create_symbols : string array -> string Stdlib.Seq.t
module type GENSYM = sig ... end
Functionality for generating unique symbols
module VarData : GENSYM
Symbol generation for data variables. Symbols take the form a,..., z, a1, ...z1, a2, ...
a,..., z, a1, ...z1, a2, ...
module MVarData : GENSYM
val reset : unit -> unit