pocket_prover
macro_rules! tup_count { () => { ... }; ($x0:ident $(, $y:ident)*) => { ... }; }
Helper macro for counting size of a tuple.