Macro or

macro_rules! or {
    ($first: ty, $second: ty) => { ... };
    ($first: ty, $second: ty, $($rest: ty),+ $(,)?) => { ... };
}

Given two or more predicates, composes them together with Or.

For predicates P and Q, or!(P, Q) is Or<P, Q>.

For predicates P, Q, and R, or!(P, Q, R) is Or<P, Or<Q, R>>.

Ad infinitum…