assume-implication ( q p -- )


Vocabulary
compiler.tree.propagation.constraints

Inputs and outputs
qan object
pan object


Definition