chickadee
»
treaps
»
treap-delete-max!
Identifier search
treap-delete-max!
trp
procedure
removes the key-value pair with maximal key.