check-declared-effect ( known effect -- )


Vocabulary
stack-checker.row-polymorphism

Inputs
knownan object
effectan object


Outputs
None

Definition