(infer-if) ( branches -- )

Vocabulary

stack-checker.branches

Inputs

branches

an object

Outputs

None

Definition

USING: kernel sequences stack-checker.visitor ;

IN: stack-checker.branches

: (infer-if) ( branches -- )
    infer-branches [ first2 #if, ] dip compute-phi-function ;