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