21
procedure Op (C : Cursor) is
procedure Process (E : in out Element_Type) is
begin
... -- do something with E
end;
begin
Update_Element (C, Process’Access);
end;