infer-builder ( quot word -- )

Vocabulary

stack-checker.known-words

Inputs

quot	an object
word	an 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