Function pocket_prover::or

pub fn or(a: u64, b: u64) -> u64

Returns true if at least one argument is true.