restrictedSignature

fun restrictedSignature( element: Element, signatureExtrasExtractor: (Element) -> Pair<A_Type?, List<A_Type>>, signatureBound: A_Type): A_Type

Extract the signature of the element, then intersect it with the given tuple type.

The intersection of the element's signature and the bound.

Parameters

element

The element providing a signature.

signatureExtrasExtractor

A function that extracts a list of A_Types from the Element, which should correspond with the extra values extracted from the value being looked up.

signatureBound

The tuple type with which to intersect the result.