Member predicate Member::Modifiable::isPublic

Holds if this declaration is public.

predicate isPublic()