- 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