empty_tmset

Term.empty_tmset : term set

Empty set of terms.

The value empty_tmset represents an empty set of terms. The set has a built-in ordering, which is given by Term.compare.

Comments

Used as a starting point for building sets of terms.

See also

Term.compare, Term.empty_varset