|Maintainer||Benedikt Schmidt <email@example.com>|
Term Equalities, Matching Problems, and Subterm Rules.
True iff the two sides of the equality are equal with respect to their
Matching problems. Use the
Monoid instance to compose matching
Flatten a matching problem to a list of (term,pattern) pairs. If no
matcher exists, then
Nothing is returned.