Module type Tyabt.Variable
val fresh : 'sort sort -> string -> 'sort t
Generates a fresh variable of the given sort. The variable is unique from any other variable generated from the function.
val name : _ t -> string
Retrieves the name of the variable.