Member predicate Declaration :: isTopLevel
Holds if this declaration is a top-level declaration.
predicate
isTopLevel
(
)