macro_rules! lexical_ord {
($rel: ident, $chain_rel: ident, $a:expr, $b:expr, $($rest_a:expr, $rest_b:expr),+) => { ... };
($rel: ident, $chain_rel: ident, $a:expr, $b:expr) => { ... };
}
macro_rules! lexical_ord {
($rel: ident, $chain_rel: ident, $a:expr, $b:expr, $($rest_a:expr, $rest_b:expr),+) => { ... };
($rel: ident, $chain_rel: ident, $a:expr, $b:expr) => { ... };
}