generic
type Element_Type is private;
with function "<" (L, R :
Element_Type)
return Boolean is <>;
with function "=" (L, R :
Element_Type)
return Boolean is <>;
package
Ada.Containers.Ordered_Sets is
type Set is tagged private;
type Cursor is private;