1generic
2  type T is private;
3  with function Compare
4    (Left, Right: T) return Generic_Inst9_Pkg1.T is <>;
5package Generic_Inst9_Pkg1.Operator is
6  function Compare (Left, Right: Integer) return Generic_Inst9_Pkg1.T is
7    (Equal);
8  function "<"  (Left, Right: T) return Boolean is
9    (Compare (Left, Right) = Smaller);
10end Generic_Inst9_Pkg1.Operator;
11