Updates the key of an element if the new key is larger than the old key. Does nothing if the new key is smaller. Undefined if the element is not part of the queue.
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected