blob: aa3aa343233b6197a13103afc81fb755e352dd44 [file] [log] [blame]
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;