1with Generic_Inst9_Pkg1;
2
3generic
4
5  type Item_T is private;
6  with function Compare
7    (Left, Right: Item_T) return Generic_Inst9_Pkg1.T is <>;
8
9  type Bound_T is private;
10  with function Compare
11    (Left, Right : Bound_T) return Generic_Inst9_Pkg1.T is <>;
12
13package Generic_Inst9_Pkg2 is
14
15  procedure Dummy;
16
17end Generic_Inst9_Pkg2;
18