Member predicate Parameter :: isOverwritten
Holds if this parameter is potentially overwritten in the body of its callable.
predicate
isOverwritten
(
)