{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"Definition::Module(module)"}]}
                    Definition::Module(module) => {
                let navs = match def {
                        NavigationTarget::from_module_to_decl(sema.db, module)