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