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

Prev:

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

Vocabulary
compiler.tree.propagation.constraints

Inputs

constraint	an object
boolean-value	an object

Outputs

constraint'

an object

Definition

USING: kernel ;

IN: compiler.tree.propagation.constraints

: f--> ( constraint boolean-value -- constraint' ) =f swap --> ;