Hi,

I'm surprised the Map module doesn't expose something similar to
min_elt/max_elt in the Set module, as they're basically the same to
me.

Could they be added? I have a problem that initially looked best
handled as a set, but turns out a map would be better, but I need to
get and also remove the minimum key =/

Jonathan