∀ (label? : Option String) (edit : Lean.Lsp.WorkspaceEdit) (label?_1 : Option String) (edit_1 : Lean.Lsp.WorkspaceEdit),
  ({ label? := label?, edit := edit } = { label? := label?_1, edit := edit_1 }) = (label? = label?_1 ∧ edit = edit_1)