36
procedure Op (V : in Vector) is
procedure Process
(E : in Element_Subtype) is
begin
... -- do something with E
end Process;
begin -- Op
for I in V.First_Index .. V.Last_Index loop
V.Query_Element (I, Process’Access);
end loop;
end Op;