blob: 622b4fe49a8078999ecaea2a35c3d81c30a4f753 [file] [log] [blame]
with Ada.Containers.Hashed_Maps;
type Object_Type is tagged private;
package Limited_With3_Pkg1 is
type Key_Type is access all String;
type Element_Type is new Object_Type with null record;
type Element_Access is access all Element_Type;
function Equal (Left, Right : Element_Access) return Boolean;
function Equivalent_Keys (Left, Right : Key_Type) return Boolean;
function Hash (Key : Key_Type) return Ada.Containers.Hash_Type;
package Table_Package is new Ada.Containers.Hashed_Maps (
Key_Type => Key_Type,
Element_Type => Element_Access,
Hash => Hash,
Equivalent_Keys => Equivalent_Keys,
"=" => Equal);
end Limited_With3_Pkg1;