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;