{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"defs::{Definition,"}]}
    defs::{Definition, IdentClass, NameRefClass, OperatorClass},
    FileRange, FxIndexSet, Ranker, RootDatabase,
    famous_defs::FamousDefs,