Member predicate StructType::hasMethod
Holds if the method set of this type contains a method named m of type t.
predicate hasMethod(string name, SignatureType tp)Holds if the method set of this type contains a method named m of type t.
predicate hasMethod(string name, SignatureType tp)