Create a *fresh* variable with the given name.
Calling of_hstring twice with the same Hstring.t as argument will result in *distinct* variables.
val of_string : string -> tConvenient alias for of_hstring (Hstring.make s).
val local : string -> tCreate a new "local" variable. Local variables are variables used exclusively in user-defined theories for semantic triggers, and are implicitly bound at the level of the enclosing quantifier.
val is_local : t -> boolIndicates whether the given variable is a local variable (see local above for details).
val hash : t -> intval uid : t -> intGlobally unique identifier for the variable.
val underscore : tUnique special variable. Used to indicate fields that should be ignored in pattern matching and triggers.
val print : Stdlib.Format.formatter -> t -> unitval to_string : t -> stringReinitializes the counter to the saved value with save_cnt, 1 if no value is saved, since after the initialization of the modules cnt is set to 1 when initializing the underscore constant in the Symbols module
module Map : sig ... end