replace-with-a-child ( node -- node shorter? )


Vocabulary
trees.avl.private

Inputs
nodean object


Outputs
nodean object
shorter?an object


Definition