1. generic 
  2.  
  3.    type Element       is private; 
  4.    type Index         is (<>); 
  5.    type Element_Array is array (Index range <>) of Element; 
  6.  
  7.    with function "<"  (Left, Right : Element) return Boolean is <>; 
  8.    with function "="  (Left, Right : Element) return Boolean is <>; 
  9.  
  10. package Sorting_Tests is 
  11.  
  12.    function Is_Sorted (Field : Element_Array) return Boolean; 
  13.  
  14.    function Is_Permutation (Field_A, Field_B : Element_Array) return Boolean; 
  15.  
  16. end Sorting_Tests;