balance-actual ( declared actual -- declared actual' )


Vocabulary
stack-checker.row-polymorphism

Inputs
declaredan object
actualan object


Outputs
declaredan object
actual'an object


Definition