Member predicate RefType :: declaresField
Holds if this type declares a field with the specified name.
predicate
declaresField
(
string
name
)