empty_varset : term set
STRUCTURE
SYNOPSIS
Empty set of term variables.
DESCRIPTION
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.
SEEALSO
HOL  Trindemossen-1