val used : t -> string -> bool
val fresh : t -> sanitizer:( 'a -> string ) -> ?suggest:bool -> 'a -> string
val define : t -> string -> T.term -> unit
val shareable : t -> T.term -> bool
val set_indexed_vars : t -> unit
val iter : ( string -> T.term -> unit ) -> t -> unit