1 package Loop_Optimization8_Pkg2 is
3 type Array_T is array (Natural range <>) of Integer;
5 type Obj_T (Length : Natural) is
7 Elements : Array_T (1 .. Length);
10 type T is access Obj_T;
12 function Length (Set : T) return Natural;
13 function Index (Set : T; Position : Natural) return Integer;
14 pragma Inline (Length, Index);
16 end Loop_Optimization8_Pkg2;