Constant pocket_prover::F
source · [−]pub const F: u64 = 0b00000000_00000000_00000000_00000000_00000000_00000000_00000000_00000000;
Expand description
The False proposition.
Used to alternate higher than 6 arguments, set to 0
.
pub const F: u64 = 0b00000000_00000000_00000000_00000000_00000000_00000000_00000000_00000000;
The False proposition.
Used to alternate higher than 6 arguments, set to 0
.