[−][src]Macro pocket_prover::println_extract
Prints a truth table extracted from a theory, assigning each case a bit and automatically flip expression properly.
Prints a truth table extracted from a theory, assigning each case a bit and automatically flip expression properly.