right-extremity ( node -- node' )


Vocabulary
trees.private

Inputs
nodean object


Outputs
node'an object


Definition