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

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

> Hello,
> 
> Some useful operations over the keys of a map are not provided by the
> standard Map module, neither by ExtLib's PMap, but are provided only by
> the Set module.

Yes I would also love to set  diff / union / intersection for PMaps.
But I'm not sure which semantic is appropriate.
Maybe only have diff / union / inter operations on *keys* would be enough ?
Please fell free to post implementation, maybe based on Set module.

Nicolas