=f ( value -- constraint )

Vocabulary

compiler.tree.propagation.constraints

Inputs

value

an object

Outputs

constraint

an object

Definition

USING: compiler.tree.propagation.copy kernel ;

IN: compiler.tree.propagation.constraints

: =f ( value -- constraint ) resolve-copy false-constraint boa ;