Member predicate RefType::declaresMethod

Holds if this type declares a method with the specified name and number of parameters.

predicate declaresMethod(string name, int n)