Vocabulary
stack-checker

Inputs
quota quotation


Outputs
effectan instance of effect


Word description
Attempts to infer the quotation's stack effect. For interactive testing, the infer. word should be called instead since it presents the output in a nicely formatted manner.

Errors
Throws an inference-error if stack effect inference fails.

See also
infer.

Definition