Function pocket_prover::or3

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

An OR relation of 3 arguments.