Vocabulary
compiler.tree.propagation.call-effect

Inputs and outputs
quota quotation
effectan effect
?a boolean


Word description
Checks if the given effect is safe with regards to the quotation.

Definition