TypeComparison

The definition's signature and the criterion have ⊥ as their nearest common descendant. Thus, there are no tuples of actual arguments that satisfy both signatures simultaneously. This is a useful distinction from UNRELATED_TYPE, since a successful test against the criterion eliminates the other definition from being considered possible.

The definition's signature and the criterion are not directly related, but may share subtypes other than bottom (⊥).

The definition is a proper descendant of the criterion.

The definition is a proper ancestor of the criterion.

The definition's signature equals the criterion.

Conditionally augment the supplied lists with the provided undecided Element. The decision of which lists to augment depends on this instance, which is the result of a comparison with the proposed node's type restrictions.