(declared-effect) ( known word effect variables branches actual -- declared-effect )


Vocabulary
stack-checker.values

Inputs
knownan object
wordan object
effectan object
variablesan object
branchesan object
actualan object


Outputs
declared-effectan object


Definition


: (declared-effect)
( known word effect variables branches actual -- declared-effect )
\ declared-effect boa ; inline