Macro pocket_prover::println_extract

macro_rules! println_extract {
    (&mut |$($t:ident),* $(,)?| $th:expr ; $($x:ident => $ch:expr),* $(,)?) => { ... };
    (&mut |($($t1:ident),+ $(,)?), ($($t0:ident),+ $(,)?)| $th:expr ; $($x:ident => $ch:expr),* $(,)?) => { ... };
}

Prints a truth table extracted from a theory, assigning each case a bit and automatically flip expression properly.