check-effect ( required-effect -- )


Vocabulary
stack-checker.state

Inputs
required-effectan object


Outputs
None

Definition