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