macro_rules! separate_provide_extern_default { ([][$name:ident]) => { ... }; ([(separate_provide_extern) $($rest:tt)*][$name:ident]) => { ... }; ([$other:tt $($modifiers:tt)*][$($args:tt)*]) => { ... }; }
macro_rules! separate_provide_extern_default { ([][$name:ident]) => { ... }; ([(separate_provide_extern) $($rest:tt)*][$name:ident]) => { ... }; ([$other:tt $($modifiers:tt)*][$($args:tt)*]) => { ... }; }