∀ (edit : Lean.Lsp.TextEdit) (codeActionTitle : String) (suggestion : Lean.Meta.Tactic.TryThis.Suggestion)
  (edit_1 : Lean.Lsp.TextEdit) (codeActionTitle_1 : String) (suggestion_1 : Lean.Meta.Tactic.TryThis.Suggestion),
  ({ edit := edit, codeActionTitle := codeActionTitle, suggestion := suggestion } =
      { edit := edit_1, codeActionTitle := codeActionTitle_1, suggestion := suggestion_1 }) =
    (edit = edit_1 ∧ codeActionTitle = codeActionTitle_1 ∧ suggestion = suggestion_1)