Gensym.MVarData
val gensym : unit -> string
val name_gensym : string -> unit -> string
val reset : unit -> unit