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