Holds if this type is public.
predicate
isPublic
(
)