Member predicate Member::Method::sameParamTypes

Holds if this method and method m are declared in the same type and have the same parameter types.

predicate sameParamTypes(Method m)