Vocabulary
trees.splay.private

Inputs
leftan object
rightan object
keyan object
nodea node
nodean object


Outputs
leftan object
rightan object
keyan object
nodea node
nodean object


Definition


TYPED: link-right
( left right key node: node -- left right key node )
swap [ [ swap left<< ] [ ] [ left>> ] tri ] dip swap ;