∀ {kind : Lean.Lsp.MarkupKind} {value : String} {kind_1 : Lean.Lsp.MarkupKind} {value_1 : String},
  { kind := kind, value := value } = { kind := kind_1, value := value_1 } → kind = kind_1 ∧ value = value_1