replace-with-extremity ( node -- node )

Vocabulary

trees.private

Inputs

node

an object

Outputs

node

an object

Definition

USING: kernel ;

IN: trees.private

: replace-with-extremity ( node -- node )
    dup node-link dup node+link
    [ [ prune-extremity ] with-other-side copy-node-contents ]
    [ drop replace-with-child ] if ;