infer-branches ( branches -- input children data )


Vocabulary
stack-checker.branches

Inputs
branchesan object


Outputs
inputan object
childrenan object
dataan object


Definition
USING: kernel sequences stack-checker.backend
stack-checker.visitor ;

IN: stack-checker.branches

: infer-branches ( branches -- input children data )
[ pop-d ] dip [ infer-branch ] map
[ stack-visitor branch-variable ] keep ; inline