∀ (codeActionKind codeActionKind_1 : Lean.Lsp.CodeActionLiteralSupportValueSet),
  ({ codeActionKind := codeActionKind } = { codeActionKind := codeActionKind_1 }) = (codeActionKind = codeActionKind_1)