Macro value_constraint

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

A convenience macro for defining individual “value” constraints.