[−][src]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.