<--> ( p q -- equivalence )


Vocabulary
compiler.tree.propagation.constraints

Inputs
pan object
qan object


Outputs
equivalencean object


Definition