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 Kananaskis-14