Holds if this type is private.
predicate
isPrivate
(
)