splay-left ( 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-left
    ( left right key node: node -- left right key node )
    dup left>> [
        lcmp +lt+ = [ rotate-right ] when dup left>>
        [ link-right (splay) ] when
    ] when ;