∀ {changes? : Option (Std.TreeMap Lean.Lsp.DocumentUri Lean.Lsp.TextEditBatch compare)}
  {documentChanges? : Option (Array Lean.Lsp.DocumentChange)}
  {changeAnnotations? : Option (Std.TreeMap String Lean.Lsp.ChangeAnnotation compare)}
  {changes?_1 : Option (Std.TreeMap Lean.Lsp.DocumentUri Lean.Lsp.TextEditBatch compare)}
  {documentChanges?_1 : Option (Array Lean.Lsp.DocumentChange)}
  {changeAnnotations?_1 : Option (Std.TreeMap String Lean.Lsp.ChangeAnnotation compare)},
  { changes? := changes?, documentChanges? := documentChanges?, changeAnnotations? := changeAnnotations? } =
      { changes? := changes?_1, documentChanges? := documentChanges?_1, changeAnnotations? := changeAnnotations?_1 } →
    changes? = changes?_1 ∧ documentChanges? = documentChanges?_1 ∧ changeAnnotations? = changeAnnotations?_1