∀ {contents : Lean.Lsp.MarkupContent} {range? : Option Lean.Lsp.Range} {contents_1 : Lean.Lsp.MarkupContent}
  {range?_1 : Option Lean.Lsp.Range},
  { contents := contents, range? := range? } = { contents := contents_1, range? := range?_1 } →
    contents = contents_1 ∧ range? = range?_1