Holds if this type declares any members.
predicate
hasMember
(
)