A heap backed by an AVL tree