| {"version":2,"references":{"c:String":{"usages":[[32,26,32,32,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16],[33,46,33,52,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Pure.pure":{"usages":[[22,2,22,6,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[43,4,43,8,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16],[45,4,45,8,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Option.some":{"usages":[[44,4,44,8,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Option.none":{"usages":[[33,56,33,60,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16],[40,4,40,8,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Option.getD":{"usages":[[37,29,37,33,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Option":{"usages":[[32,47,32,53,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16],[33,39,33,45,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:List":{"usages":[[19,57,19,61,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[19,72,19,76,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[34,24,34,28,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16],[34,39,34,43,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.initSearchPath":{"usages":[[35,2,35,21,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.findSysroot":{"usages":[[35,25,35,41,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.enableInitializersExecution":{"usages":[[36,2,36,29,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.PersistentArray.toList":{"usages":[[22,27,22,33,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[22,53,22,59,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32]],"definition":null},"c:Lean.Parser.parseHeader":{"usages":[[41,42,41,60,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.Parser.mkInputContext":{"usages":[[38,20,38,41,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.Parser.ModuleParserState":{"usages":[[18,52,18,76,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[45,14,45,38,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.Parser.InputContext":{"usages":[[18,16,18,35,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32]],"definition":null},"c:Lean.Options":{"usages":[[33,12,33,19,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.MessageLog.msgs":{"usages":[[22,22,22,26,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32]],"definition":null},"c:Lean.Message":{"usages":[[19,62,19,69,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[34,29,34,36,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.Elab.processHeader":{"usages":[[42,26,42,39,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.Elab.InfoTree":{"usages":[[19,77,19,85,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[34,44,34,52,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.Elab.InfoState.trees":{"usages":[[22,47,22,52,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32]],"definition":null},"c:Lean.Elab.IO.processInput":{"usages":[],"definition":[32,4,32,16]},"c:Lean.Elab.IO.processCommandsWithInfoTrees":{"usages":[[46,2,46,30,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":[17,4,17,32]},"c:Lean.Elab.IO.processCommands":{"usages":[[21,10,21,28,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32]],"definition":null},"c:Lean.Elab.Frontend.State.commandState":{"usages":[[21,67,21,94,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32]],"definition":null},"c:Lean.Elab.Command.mkState":{"usages":[[43,24,43,39,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Lean.Elab.Command.State.messages":{"usages":[[22,13,22,21,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32]],"definition":null},"c:Lean.Elab.Command.State.infoState":{"usages":[[20,42,20,59,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[22,37,22,46,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32]],"definition":null},"c:Lean.Elab.Command.State":{"usages":[[19,20,19,33,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[19,41,19,54,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[32,54,32,67,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16],[34,8,34,21,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:IO":{"usages":[[19,37,19,39,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32],[34,4,34,6,"Lean.Elab.IO.processInput",32,0,46,64,32,4,32,16]],"definition":null},"c:Bool.true":{"usages":[[20,63,20,67,"Lean.Elab.IO.processCommandsWithInfoTrees",17,0,22,60,17,4,17,32]],"definition":null}},"module":"REPL.Frontend"} |