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