(splay) ( 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: combinators math.order typed ;

IN: trees.splay.private

TYPED: (splay)
    ( left right key node: node -- left right key node )
    cmp {
        { +lt+ [ splay-left ] }
        { +gt+ [ splay-right ] }
        { +eq+ [ ] }
    } case ;