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; |