follow-implications ( constraint -- )

Vocabulary

compiler.tree.propagation.constraints

Inputs

constraint

an object

Outputs

None

Definition

USING: assocs kernel namespaces ;

IN: compiler.tree.propagation.constraints

: follow-implications ( constraint -- )
    constraints get assoc-stack [ assume ] when* ;