Handbook
Glossary
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
IN:
stack-checker.values
SYMBOL:
known-values
inline