splay-split ( key tree: splay -- node node )


Vocabulary
trees.splay.private

Inputs
keyan object
treea splay


Outputs
nodean object
nodean object


Definition
USING: accessors kernel math.order typed ;

IN: trees.splay.private

TYPED: splay-split ( key tree: splay -- node node )
2dup do-splay root>> cmp +lt+ =
[ nip [ left>> ] [ f >>left ] bi ]
[ nip [ right>> ] [ f >>right ] bi swap ] if ;