Macro pocket_prover::or

macro_rules! or {
    ($x0:expr $(,)?) => { ... };
    ($x0:expr, $x1:expr $(,)?) => { ... };
    ($x0:expr, $x1:expr, $x2:expr $(,)?) => { ... };
    ($x0:expr, $x1:expr, $x2:expr, $x3:expr $(,)?) => { ... };
    ($x0:expr, $x1:expr, $x2:expr, $x3:expr, $x4:expr $(,)?) => { ... };
    ($x0:expr, $x1:expr, $x2:expr, $x3:expr, $x4:expr, $x5:expr $(,)?) => { ... };
    ($x0:expr, $x1:expr, $x2:expr, $x3:expr, $x4:expr, $x5:expr, $x6:expr $(,)?) => { ... };
    ($x0:expr, $x1:expr, $x2:expr, $x3:expr, $x4:expr, $x5:expr, $x6:expr, $x7:expr $(,)?) => { ... };
    ($x0:expr, $x1:expr, $x2:expr, $x3:expr, $x4:expr,
     $x5:expr, $x6:expr, $x7:expr, $x8:expr $(,)?) => { ... };
    ($x0:expr, $x1:expr, $x2:expr, $x3:expr, $x4:expr,
     $x5:expr, $x6:expr, $x7:expr, $x8:expr, $x9:expr $(,)?) => { ... };
    ($x0:expr, $x1:expr, $x2:expr, $x3:expr, $x4:expr,
     $x5:expr, $x6:expr, $x7:expr, $x8:expr, $x9:expr, $($y:expr),+ $(,)?) => { ... };
}

An OR relation of variable arguments.