53
M : Map;
...
procedure Op (Key : in Key_Type) is
procedure Process (K : KT; E : ET) is
begin
... -- do something
end;
C : constant Cursor :=
M.Find (Key)
;
begin
if Has_Element (C) then
Query_Element (C, Process’Access);
end if;
end Op;
Find