Member predicate RefType :: isSourceDeclaration
Holds if this type is the same as its source declaration.
predicate
isSourceDeclaration
(
)