value-infos

Vocabulary

compiler.tree.propagation.info

Variable description

Assoc stack of current value --> info mapping

Definition

IN: compiler.tree.propagation.info

SYMBOL: value-infos inline