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