Handbook
Glossary
infer-declare ( -- )
Vocabulary
stack-checker
.
known-words
Inputs
None
Outputs
None
Definition
USING:
assocs
kernel
sequences
stack-checker.backend
stack-checker.visitor
;
IN:
stack-checker.known-words
:
infer-declare
( -- )
pop-literal
check-declaration
[
length
ensure-d
]
keep
zip
#declare,
;