Member predicate MakeImplCommon::ArgNode::argumentOf
Holds if this argument occurs at the given position in the given call.
predicate argumentOf(Call call, ArgumentPosition pos)Holds if this argument occurs at the given position in the given call.
predicate argumentOf(Call call, ArgumentPosition pos)