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
)