Member predicate Modifiable :: isPartial
Holds if this declaration is partial.
predicate
isPartial
(
)