unify-branches ( ins stacks -- in phi-in phi-out )


Vocabulary
stack-checker.branches

Inputs
insan object
stacksan object


Outputs
inan object
phi-inan object
phi-outan object


Definition