Macro refined_type::less_rule

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