package Bin_Search is

   type Integer_Array is array (Positive range <>) of Integer;
   
   procedure Binary_Search (List     : in  Integer_Array;
                            Value    : in  Integer;
                            Location : out Natural);
   -- Purpose        : Searches List for Value. Location is the index of Value
   --                  in List if found.  Otherwise returns zero for Location
   -- Preconditions  : List is sorted in ascending order
   -- Postconditions : List(Location) = Value  or  Location = 0
                            
end Bin_Search;