Справочник по Ada 2005
A.18.15 Пакет Containers.Indefinite_Ordered_Sets
Определяемый языком обобщенный пакет Containers.Indefinite_Ordered_Sets предоставляет множество с теми же операциями, что и пакет Containers.Ordered_Sets (см. A.18.9), с той разницей, что обобщенный формальный тип Element_Type является неопределенным.
Статическая семантика
Объявление обобщенного библиотечного пакета Containers.Indefinite_Ordered_Sets имеет то же содержимое, что и Containers.Ordered_Sets, за исключением:
- Обобщенный формальный тип Element_Type является неопределенным.
- Фактический параметр Element подпрограммы доступа Process процедуры Update_Element_Preserving_Key может быть ограниченным, даже если Element_Type не ограничен.
