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-left
( left right key node: node -- left right key node )
swap [ [ rot right<< ] [ ] [ right>> ] tri swapd ] dip swap
;