Справочник Ada 95
Раздел 8: Правила видимости
В этом разделе описаны правила, определяющие область действия объявлений и правила, определяющие, какие идентификаторы, символы_литералы и символы_операторов видны (или доступны) в различных частях текста программы. Формулировка этих правил использует понятие области объявления.
Как объяснено в разделе 3, объявление объявляет представление сущности и связывает с ним определяющее имя. Представление включает идентификацию представленной сущности и, возможно, дополнительные свойства. Имя использования обозначает объявление. Оно также обозначает представление, объявленное этим объявлением, и обозначает сущность этого представления. Таким образом, два разных имени использования могут обозначать два разных представления одной и той же сущности; в этом случае они обозначают одну и ту же сущность.