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]
immutable ordered set[element] frozen copy() pure