Справочник по Ada (Ada 2022)
7 Пакеты
Пакеты — это программные единицы, позволяющие определять группы логически связанных сущностей. Обычно пакет содержит объявление типа (часто закрытого типа или закрытого расширения) вместе с объявлениями примитивных подпрограмм типа, которые могут вызываться извне пакета, в то время как их внутреннее устройство остается скрытым от внешних пользователей.