splay-right ( left right key node: node -- left right key node )

Vocabulary

trees.splay.private

Inputs

left	an object
right	an object
key	an object
node	a node

Outputs

left	an object
right	an object
key	an object
node	an object

Definition

USING: accessors kernel math.order typed ;

IN: trees.splay.private

TYPED: splay-right
    ( left right key node: node -- left right key node )
    dup right>> [
        rcmp +gt+ = [ rotate-left ] when dup right>>
        [ link-left (splay) ] when
    ] when ;