Member predicate ExternalMemberDecl :: hasQualifiedName
Holds if this member belongs to type base
and has name name
.
predicate
hasQualifiedName
(
string
base
,
string
name
)