t--> ( constraint boolean-value -- constraint' )
Support for predicated value info

Prev:false-constraint
Next:f--> ( constraint boolean-value -- constraint' )

Vocabulary
compiler.tree.propagation.constraints

Inputs
constraintan object
boolean-valuean object
Outputs
constraint'an object
Definition
USING: kernel ;
IN: compiler.tree.propagation.constraints
: t--> ( constraint boolean-value -- constraint' ) =t swap --> ;