Vocabulary
compiler.tree.propagation.call-effect

Inputs and outputs
effectan effect
quota quotation


Word description
Emits a quotation for calling a quotation with the given stack effect.

Definition