Member predicate RefType :: isTopLevel
Holds if this is a top-level type, which is not nested inside any other types.
predicate
isTopLevel
(
)