|
with Vect9_Pkg; use Vect9_Pkg;
|
|
|
|
package Vect10 is
|
|
|
|
type Rec is record
|
|
Val : Unit;
|
|
end record;
|
|
|
|
type Rec_Vector is array (Positive range <>) of Rec;
|
|
|
|
procedure Proc
|
|
(F : in Rec_Vector;
|
|
First_Index : in Natural;
|
|
Last_Index : in Natural;
|
|
Result : out Unit);
|
|
|
|
end Vect10;
|