infer-shuffle ( shuffle -- )

Vocabulary

stack-checker.known-words

Inputs

shuffle

an object

Outputs

None

Definition

USING: accessors assocs effects kernel sequences
stack-checker.backend stack-checker.values stack-checker.visitor
;

IN: stack-checker.known-words

: infer-shuffle ( shuffle -- )
    [ in>> length consume-d ] keep
    [ drop ] [ shuffle dup copy-values dup output-d ] 2bi
    [ nip f f ] [ swap zip ] 2bi #shuffle, ;