infer-shuffle-effect ( -- )

Vocabulary

shuffle

Inputs

None

Outputs

None

Definition

USING: accessors effects sequences stack-checker.backend
stack-checker.known-words stack-checker.values ;

IN: shuffle

: infer-shuffle-effect ( -- )
    1 ensure-d first literal value>> add-effect-input
    infer-shuffle ;