-- $Date: 2004/02/02 08:47:56 $
-- $Revision: 1.1 $
-- $Author: jcrocholl $

package Positive_Functions is

   function Hash
     (Key : in Positive;
      Max : in Positive)
     return Positive;

   function Equal
     (Left, Right : in Positive)
     return Boolean
     renames "=";

end Positive_Functions;