Std.TreeMap UInt64 (IO.Ref Lean.Server.FileWorker.RpcSession) compare →
  Lean.Server.FileWorker.EditableDocument →
    IO.FS.Stream →
      Lean.Lsp.InitializeParams →
        Lean.Server.RequestCancellationToken → Lean.Server.ServerRequestEmitter → Lean.Server.RequestContext