consume/produce ( ..a effect quot: ( ..a inputs outputs -- ..b ) -- ..b )


Vocabulary
stack-checker.backend

Inputs
effectan object
quota quotation with stack effect ( ..a inputs outputs -- ..b )


Outputs
None

Definition