Member predicate Variable :: isParameter
Whether this variable is a parameter
predicate
isParameter
(
)