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