pocket_prover
pub const T: u64
The True proposition. Used to alternate higher than 6 arguments, set to 1.
1