procedure
Op (M : in out Map) is
C : Cursor;
B : Boolean;
begin
M.Insert
-- MORE INFO ON NEXT SLIDE
(Key
=> K,
New_Item => E,
Position => C,
Inserted => B);
if B then -- new key/elem inserted
...
-- C designates new key/elem
else
–- key/elem not inserted
...
–- C designates existing key/elem
end if;
end Op;