6
Ordered Set
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;