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