Handbook
Glossary
rotate-right ( node: node -- node )
Vocabulary
trees
.
splay
.
private
Inputs
node
a
node
Outputs
node
an
object
Definition
USING:
accessors
kernel
typed
;
IN:
trees.splay.private
TYPED:
rotate-right
( node: node -- node )
dup
left>>
[
>>left
]
change-right
;