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' )