copy-value ( value -- value' )
Abstract stack checker values

Next:

copy-values ( values -- values' )

Vocabulary
stack-checker.values

Inputs

value

an object

Outputs

value'

an object

Definition

IN: stack-checker.values

: copy-value ( value -- value' ) known make-known ;