{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"Visibility::Public,"}]}
        Visibility::Public,
        ModuleOrigin::CrateRoot { definition: krate.root_file_id(db) },
    );