assume ( constraint -- )


Vocabulary
compiler.tree.propagation.constraints

Inputs
constraintan object


Outputs
None

Definition