eliminate-phi-introductions ( introductions seq terminated -- seq' )


Vocabulary
compiler.tree.normalization

Inputs
introductionsan object
seqan object
terminatedan object


Outputs
seq'an object


Definition