copy-values ( values -- values' )
Abstract stack checker values
Prev:copy-value ( value -- value' )
Next:known ( value -- known )


Vocabulary
stack-checker.values

Inputs
valuesan object


Outputs
values'an object


Definition
USING: sequences ;

IN: stack-checker.values

: copy-values ( values -- values' ) [ copy-value ] map ;