1------------------------------------------------------------------------------ 2-- -- 3-- GNAT LIBRARY COMPONENTS -- 4-- -- 5-- A D A . C O N T A I N E R S . G E N E R I C _ A R R A Y _ S O R T -- 6-- -- 7-- S p e c -- 8-- -- 9-- This specification is derived from the Ada Reference Manual for use with -- 10-- GNAT. In accordance with the copyright of that document, you can freely -- 11-- copy and modify this specification, provided that if you redistribute a -- 12-- modified version, any changes that you have made are clearly indicated. -- 13-- -- 14------------------------------------------------------------------------------ 15 16generic 17 type Index_Type is (<>); 18 type Element_Type is private; 19 type Array_Type is array (Index_Type range <>) of Element_Type; 20 21 with function "<" (Left, Right : Element_Type) 22 return Boolean is <>; 23 24procedure Ada.Containers.Generic_Array_Sort (Container : in out Array_Type); 25 26pragma Pure (Ada.Containers.Generic_Array_Sort); 27