Member predicate Modifiable::isPartial

Holds if this declaration is partial.

predicate isPartial()