Vocabulary
stack-checker

Inputs
quota quotation


Outputs
None

Word description
Attempts to infer the quotation's stack effect, and prints this data to output-stream.

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

See also
infer

Definition