--> ( p q -- implication )

Vocabulary

compiler.tree.propagation.constraints

Inputs

p	an object
q	an object

Outputs

implication

an object

Definition

USING: kernel ;

IN: compiler.tree.propagation.constraints

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