Updates the key of an element if the new key is smaller than the old key. Does nothing if the new key is larger. 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