The Ada Program: generic_selection_sort.ads

  1 -- generic_selction_sort.ads:  sort array "List" in non-decreasing order using selection sort
  2 
  3 generic
  4    type Element_Type is private;
  5    type Array_Type is array (Positive range <>) of Element_Type;
  6    with
  7      function "<" (Left, Right: Element_Type) return Boolean is <>;
  8 
  9 procedure Generic_Selection_Sort (List : in out Array_Type);