terminated-phi ( seq -- terminated )

Vocabulary

stack-checker.branches

Inputs

seq

an object

Outputs

terminated

an object

Definition

USING: stack-checker.state ;

IN: stack-checker.branches

: terminated-phi ( seq -- terminated )
    terminated? branch-variable ;