Справочник по Ada (Ada 2022)
A.18.1 Пакет Containers
Пакет Containers является корневым пакетом подсистемы контейнеров.
Статическая семантика
Библиотечный пакет Containers имеет следующее объявление:
package Ada.Containers
with Pure is
with Pure is
type Hash_Type is mod определяется реализацией;
type Count_Type is range 0 .. определяется реализацией;
Capacity_Error : exception;
end Ada.Containers;
Hash_Type представляет диапазон результата хеш-функции. Count_Type представляет (потенциальное или фактическое) количество элементов контейнера.
Capacity_Error возбуждается при превышении емкости контейнера.
Рекомендации по реализации
Hash_Type'Modulus должен быть не меньше 2**32. Count_Type'Last должен быть не меньше 2**31–1.
