avl-replace-with-extremity ( to-replace node -- node shorter? )


Vocabulary
trees.avl.private

Inputs
to-replacean object
nodean object


Outputs
nodean object
shorter?an object


Definition