=t ( 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

: =t ( value -- constraint ) resolve-copy true-constraint boa ;