Module compare

Term comparison.

Functions

isEquivalent(term, other)
Determines if two terms are equivalent, i.e., equal except for the annotations.

isEqual(term, other)
Determines if two terms are equal (including annotations).