infer-builder ( quot word -- )


Vocabulary
stack-checker.known-words

Inputs
quotan object
wordan object


Outputs
None

Definition
USING: arrays kernel sequences stack-checker.backend
stack-checker.values stack-checker.visitor ;

IN: stack-checker.known-words

:: infer-builder ( quot word -- )
2 consume-d dup first2 quot call make-known
[ push-d ] [ 1array ] bi word #call, ; inline