Справочник по Ada 2012
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).
