generic
  type T is private;
  with function Compare
    (Left, Right: T) return Generic_Inst9_Pkg1.T is <>;
package Generic_Inst9_Pkg1.Operator is
  function Compare (Left, Right: Integer) return Generic_Inst9_Pkg1.T is
    (Equal);
  function "<"  (Left, Right: T) return Boolean is
    (Compare (Left, Right) = Smaller);
end Generic_Inst9_Pkg1.Operator;