Member predicate Namespace :: isGlobalNamespace
Holds if this is the global namespace.
predicate
isGlobalNamespace
(
)