include-child-constraints ( i -- )

Vocabulary

compiler.tree.propagation.branches

Inputs

i

an object

Outputs

None

Definition

USING: assocs compiler.tree.propagation.constraints namespaces
sequences ;

IN: compiler.tree.propagation.branches

: include-child-constraints ( i -- )
    infer-children-data get nth constraints of
    last constraints get last update-constraints ;