Member predicate Type::RefType::inherits

Holds if this type declares or inherits the specified member.

predicate inherits(Member m)