Member predicate Type::RefType::declaresField

Holds if this type declares a field with the specified name.

predicate declaresField(string name)