Constant pocket_prover::T

pub const T: u64 = 0b11111111_11111111_11111111_11111111_11111111_11111111_11111111_11111111;

The True proposition. Used to alternate higher than 6 arguments, set to 1.