Re: [Ocaml-lib-devel] Map with set operations over the keys

[Nicolas C. <war...@fr...>]

> > I would say it's bad API design to use a "merge" function in order to
remove
> > elements.
> > A more specific function should be provided.
>
> I do not think so. When your merge gives accidentally 0, and the value
> should be removed, you do not want to scan the map once more to remove
> the zero ...

Then it's no longer a merge...
What you want is a more generic function that will do a merge+filter.

Nicolas