known-values
Abstract stack checker values

Prev:known ( value -- known )
Next:make-known ( known -- value )

Vocabulary
stack-checker.values

Variable description
A hashtable that maps from abstract values to literals and input parameters.

See also
input-parameter

Definition