1package Loop_Optimization10_Pkg is 2 3 pragma Pure (Loop_Optimization10_Pkg); 4 5 type Limit_Type is record 6 Low : Float; 7 High : Float; 8 end record; 9 10 function F (Low, High : in Float) return Limit_Type; 11 12end Loop_Optimization10_Pkg; 13
1package Loop_Optimization10_Pkg is 2 3 pragma Pure (Loop_Optimization10_Pkg); 4 5 type Limit_Type is record 6 Low : Float; 7 High : Float; 8 end record; 9 10 function F (Low, High : in Float) return Limit_Type; 11 12end Loop_Optimization10_Pkg; 13