(ppop-new-tail) ( root -- root' tail' )

Vocabulary

persistent.vectors.private

Inputs

root

an object

Outputs

root'	an object
tail'	an object

Definition

USING: accessors kernel math sequences ;

IN: persistent.vectors.private

: (ppop-new-tail) ( root -- root' tail' )
    dup level>> 1 > [
        dup children>> last (ppop-new-tail) [
            dup
            [ swap node-set-last ]
            [ drop ppop-contraction drop ] if
        ] dip
    ] [ ppop-contraction ] if ;