compare
fun compareForParsing(argumentRestrictions: List<TypeRestriction>, someType: A_Type): TypeComparison
Compare two phrase types extracted from A_Sendable.parsingSignatures. The first is the criterion, which will eventually be tested against arguments. The second signature is the one being compared by specificity with the criterion.
Return
A TypeComparison representing the relationship between the restrictions and the signature.
Parameters
argument
The list of argument restrictions that will hold at some point during type testing.
some
A signature type to test against the given restrictions.