1\DOC empty_varset
2
3\TYPE {empty_varset : term set}
4
5\SYNOPSIS
6Empty set of term variables.
7
8\KEYWORDS
9term, set.
10
11\DESCRIBE
12The value {empty_varset} represents an empty set of term variables.
13The set has a built-in ordering, which is given by {Term.var_compare}.
14
15\COMMENTS
16Used as a starting point for building sets of variables.
17
18\SEEALSO
19Term.var_compare, Term.empty_tmset.
20\ENDDOC
21