Member predicate GenericTypeExpr::hasQualifiedName
Holds if this is a reference to the type exported from moduleName under the name exportedName.
predicate hasQualifiedName(string moduleName, string exportedName)Holds if this is a reference to the type exported from moduleName under the name exportedName.
predicate hasQualifiedName(string moduleName, string exportedName)