Member predicate Modifiable :: isPublic
Holds if this declaration is public
.
predicate
isPublic
(
)