Member predicate ParameterNode :: isParameterOf
Holds if this node is the parameter of f at the specified position. The
implicit this parameter is considered to have position -1, and
pointer-indirection parameters are at further negative positions.
predicate
isParameterOf
(
Function
f
,
ParameterPosition
pos
)