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