pocket_prover
pub const F: u64
The False proposition. Used to alternate higher than 6 arguments, set to 0.
0