∀ (fileSource : Lean.Json → Except Lean.Server.RequestError Lean.Lsp.FileIdent)
  (handle : Lean.Json → Lean.Server.RequestM (Lean.Server.RequestTask Lean.Server.SerializedLspResponse))
  (fileSource_1 : Lean.Json → Except Lean.Server.RequestError Lean.Lsp.FileIdent)
  (handle_1 : Lean.Json → Lean.Server.RequestM (Lean.Server.RequestTask Lean.Server.SerializedLspResponse)),
  ({ fileSource := fileSource, handle := handle } = { fileSource := fileSource_1, handle := handle_1 }) =
    (fileSource = fileSource_1 ∧ handle = handle_1)