Member predicate Type::Type::isPublic

Holds if this type is public.

predicate isPublic()