empty_varset
Term.empty_varset : term set
Empty set of term variables.
The value empty_varset represents an empty set of term variables. The
set has a built-in ordering, which is given by Term.var_compare.
Comments
Used as a starting point for building sets of variables.