1 with Ada
.Containers
.Hashed_Maps
;
5 type Object_Type
is tagged private;
7 package Limited_With3_Pkg1
is
9 type Key_Type
is access all String;
11 type Element_Type
is new Object_Type
with null record;
13 type Element_Access
is access all Element_Type
;
15 function Equal
(Left
, Right
: Element_Access
) return Boolean;
17 function Equivalent_Keys
(Left
, Right
: Key_Type
) return Boolean;
19 function Hash
(Key
: Key_Type
) return Ada
.Containers
.Hash_Type
;
21 package Table_Package
is new Ada
.Containers
.Hashed_Maps
(
23 Element_Type
=> Element_Access
,
25 Equivalent_Keys
=> Equivalent_Keys
,
28 end Limited_With3_Pkg1
;