move method

void move(
  1. K oldKey,
  2. K newKey
)

Moves the element at the oldKey to the newKey replacing the existing element, if any.

No-op, if element at the oldKey doesn't exist.

Implementation

void move(K oldKey, K newKey) {
  _value.move(oldKey, newKey);
  refresh();
}