∀ (uri : Lean.Lsp.DocumentUri) (pos : Lean.Lsp.Position) (cPos? : Option ℕ) (id? : Option Lean.Lsp.CompletionIdentifier)
  (uri_1 : Lean.Lsp.DocumentUri) (pos_1 : Lean.Lsp.Position) (cPos?_1 : Option ℕ)
  (id?_1 : Option Lean.Lsp.CompletionIdentifier),
  ({ uri := uri, pos := pos, cPos? := cPos?, id? := id? } =
      { uri := uri_1, pos := pos_1, cPos? := cPos?_1, id? := id?_1 }) =
    (uri = uri_1 ∧ pos = pos_1 ∧ cPos? = cPos?_1 ∧ id? = id?_1)