Predicate signature InputSig::parameterMatch

Holds if the parameter position ppos matches the argument position apos.

signature predicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos)