check-declared-effect ( known effect -- )


Vocabulary
stack-checker.row-polymorphism

Inputs and outputs
knownan object
effectan object


Definition