{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// A module, then extern prelude (used for mixed 2015-2018 mode in macros).
    All(Namespace),
    ModuleAndExternPrelude(Namespace, Module<'ra>),