69
M : Map;
procedure Op (K : KT; E : ET) is
begin
M.Include (K, E);
-- replaces key too
end;
procedure Op2 (K : KT; E : ET) is
C : Cursor;
B : Boolean;
begin
M.Insert (K, E, C, B);
if not B then
Replace_Element (C, By => E);
end if;
end Op2;