62
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;