--> ( p q -- implication )


Vocabulary
compiler.tree.propagation.constraints

Inputs
pan object
qan object


Outputs
implicationan object


Definition
USING: kernel ;

IN: compiler.tree.propagation.constraints

: --> ( p q -- implication ) \ implication boa ; inline