1with Vect9_Pkg; use Vect9_Pkg;
2
3package Vect10 is
4
5   type Rec is record
6      Val : Unit;
7   end record;
8
9   type Rec_Vector is array (Positive range <>) of Rec;
10
11   procedure Proc
12     (F            : in Rec_Vector;
13      First_Index : in Natural;
14      Last_Index  : in Natural;
15      Result      : out Unit);
16
17end Vect10;
18