{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"let"}]}
    let (prelude_module, _) = local_def_map.prelude()?;
) -> Option<Choice> {
    let prelude_def_map = prelude_module.def_map(db);