{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"if"}]}
                        if !module.no_implicit_prelude {
                        // Items from the prelude
                            names.extend(self.r.extern_prelude.keys().flat_map(|ident| {