Member predicate RefType::hasMember

Holds if this type declares any members.

predicate hasMember()