Macro refined_type::equal_rule

macro_rules! equal_rule {
    (($e: literal, $t: ty)) => { ... };
    (($e: literal, $t: ty), $(($es: literal, $ts: ty)),+) => { ... };
}

This macro generates a rule that checks if the number is equal to N