Member predicate Modifiable::isEffectivelyInternal

Holds if this declaration is effectively internal (either directly or because one of the enclosing types is internal).