Macro and 

macro_rules! and {
    ($($c:expr),+ $(,)?) => { ... };
}

Re-export of the and! macro. Combines constraints into an IntersectionConstraint (logical AND).

All constraints must agree on every variable binding for a result to be produced. Accepts one or more constraint expressions.

and!(set.pattern(e, a, v), allowed.has(v))