| 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; |