Ada 2005 Reference Manual
A.18.1 The Package Containers
The package Containers is the root of the containers subsystem.
Static Semantics
The library package Containers has the following declaration:
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 represents the range of the result of a hash function. Count_Type represents the (potential or actual) number of elements of a container.
Implementation Advice
Hash_Type'Modulus should be at least 2**32. Count_Type'Last should be at least 2**31–1.
