1package body Generic_Inst7_Pkg is
2
3   use type Generic_Inst7_Types.Index;
4
5   procedure Process (List : in out Generic_Inst7_Types.List) is
6   begin
7      for I in Generic_Inst7_Types.Index range 1 .. List.Arr'length loop
8         null;
9      end loop;
10   end Process;
11
12end Generic_Inst7_Pkg;
13