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