with Generic_Inst9_Pkg1; | |
generic | |
type Item_T is private; | |
with function Compare | |
(Left, Right: Item_T) return Generic_Inst9_Pkg1.T is <>; | |
type Bound_T is private; | |
with function Compare | |
(Left, Right : Bound_T) return Generic_Inst9_Pkg1.T is <>; | |
package Generic_Inst9_Pkg2 is | |
procedure Dummy; | |
end Generic_Inst9_Pkg2; |