pocket_prover
macro_rules! println_bits { (|$($x:ident),* $(,)?| $e:expr) => { ... }; }
Prints a truth table with result of a boolean expression.