52
M : Map;
...
procedure Op (Key : in Key_Type) is
begin
   if M.Contains (Key) then
      ... -- do something
   end if;
end Op;
Contains