assume-implication ( q p -- )

Vocabulary

compiler.tree.propagation.constraints

Inputs

q	an object
p	an object

Outputs

None

Definition

USING: assocs kernel namespaces sequences ;

IN: compiler.tree.propagation.constraints

: assume-implication ( q p -- )
    [
        constraints get [ assoc-stack maybe-add ] 2keep
        last set-at
    ] [ satisfied? [ assume ] [ drop ] if ] 2bi ;