A finite set of elements with an explicit ordering.
Unlike a list, it is guaranteed not to have duplicate elements.
Attempting to insert a duplicate element will trigger an assertion failure.
interface ordered set[combivariant value element]
Declaration: ordered set
Announcements: ordered set
Use: ordered set