Data_Set : in out Data_Sets.Set;
procedure Insert (Word : in String) is
procedure Inc_Count
(Data : in out Data_Type) is
begin
Data.Count :=
Data.Count + 1; -- update payload
end;
C :
Data_Sets.Cursor;
B : Boolean;
begin
Data_Set.Insert
((Word'Length, Word, 0), C, B);
Word_Keys.Update_Element_Preserving_Key
(Data_Set, C,
Inc_Count'Access);
end Insert;