Member predicate Type::RefType::declaresMethod

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

predicate declaresMethod(string name)