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