double-rotate ( node -- node )


Vocabulary
trees.avl.private

Inputs
nodean object


Outputs
nodean object


Definition