[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | tmp123 <tmp123@m...> |
| Subject: | Hashtbl: remove while iter or fold |
Hello, Please, do you known if it is possible to remove hash table elements while executing an "iter" or "fold" operation over the table? Of course, in particular, to remove the current item. Thanks a lot.