OrdMap get_next actually doesn't quite do what one would expect. I would think that if I take a key in an OrdMap and call get_next with that key, I would get the subsequent key and not the same key again. But get_next shouldn't be changed as it is an established API, so it would be convenient to have an easy method to do this, perhaps get_next_exclusive or something along those lines. Otherwise it looks like I have to set up a range with an exclusive start point and then take only the first entry, which is a bit convoluted.
OrdMap get_next actually doesn't quite do what one would expect. I would think that if I take a key in an OrdMap and call get_next with that key, I would get the subsequent key and not the same key again. But get_next shouldn't be changed as it is an established API, so it would be convenient to have an easy method to do this, perhaps get_next_exclusive or something along those lines. Otherwise it looks like I have to set up a range with an exclusive start point and then take only the first entry, which is a bit convoluted.