A constraint is a statement about a value. The compiler.tree.propagation.constraints vocabulary implements these constraints for propagation of values through the compilation process.

Boolean constraints:
true-constraint

false-constraint


Utilities:
t--> ( constraint boolean-value -- constraint' )

f--> ( constraint boolean-value -- constraint' )