(infer-value) ( value-info -- effect )


Vocabulary
compiler.tree.propagation.call-effect

Inputs
value-infoan object


Outputs
effectan object


Definition