Руководство по языку Ada (Ada 2022)
A.18.16 Общий пакет 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 не ограничен.
- Операции Include, Insert, Replace, Replace_Element и To_Set, имеющие формальный параметр типа Element_Type, выполняют неопределённую вставку (см. A.18).
