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