Function pocket_prover::or9

pub fn or9(
    a: u64, 
    b: u64, 
    c: u64, 
    d: u64, 
    e: u64, 
    f: u64, 
    g: u64, 
    h: u64, 
    i: u64
) -> u64

An OR relation of 9 arguments.