Member predicate Type::isPrivate

Holds if this type is private.

predicate isPrivate()