rebalance-delete ( node -- node shorter? )


Vocabulary
trees.avl.private

Inputs
nodean object


Outputs
nodean object
shorter?an object


Definition