Type
Answer the relationship between two signatures, the argument tuple types of function types representing (1) a criterion to test, and (2) a definition's signature to be classified.
Author
Mark van Gulik
Entries
The definition is a proper ancestor of the criterion.
The definition is a proper descendant of the criterion.
The definition's signature and the criterion are not directly related, but may share subtypes other than bottom (⊥).
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.
Types
Functions
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.