49
generic
   type Element_Type is private;
   with function "<" (Left, Right : Element_Type)
      return Boolean is <>;
   with function "=" (Left, Right : Element_Type)
      return Boolean is <>;
   -- ET."=" only used for Set."="; see p.75.
package Ada.Containers.Ordered_Sets is ...;