UNRELATED_TYPE
Content copied to clipboard
The definition's signature and the criterion are not directly related, but may share subtypes other than bottom (⊥).
Functions
Link copied to clipboard
fun <Element : A_BasicObject> applyEffect( undecidedDefinition: Element, ifPositive: MutableList<Element>, ifUndecided: MutableList<Element>)
Content copied to clipboard
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.