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