ppop-contraction ( node -- node' tail' )

Vocabulary

persistent.vectors.private

Inputs

node

an object

Outputs

node'	an object
tail'	an object

Definition

USING: accessors kernel sequences ;

IN: persistent.vectors.private

: ppop-contraction ( node -- node' tail' )
    dup children>> length 1 =
    [ children>> last f swap ] [ (ppop-contraction) ] if ;