generic
type Key_Type is private;
-- re-emergence of predefined "=" for KT is
OK
type Element_Type is private;
with function Hash
(Key : Key_Type) return Hash_Type;
with function Equivalent_Keys
(Left, Right : Key_Type) return
Boolean;
with function "=" (Left, Right :
Element_Type)
return Boolean is <>;
-- need to pass in "=" for ET,
since predefined
-- equality is not necessarily what we
want
package
Ada.Containers.Hashed_Maps is ...;