Member predicate RefType::isTopLevel

Holds if this is a top-level type, which is not nested inside any other types.

predicate isTopLevel()