Function pocket_prover::xor3

pub fn xor3(a: u64, b: u64, c: u64) -> u64

An XOR relation of 3 arguments.