Vocabulary
stack-checker.backend

Inputs
quota quotation


Outputs
None

Word description
Performs inferencing on the given quotation. This word should only be called in a with-infer context.

Definition