rotate-right ( node: node -- node )


Vocabulary
trees.splay.private

Inputs
nodea node


Outputs
nodean object


Definition