{motive : Lean.Lsp.CodeActionClientCapabilities → Sort u} →
  ((dynamicRegistration? isPreferredSupport? disabledSupport? dataSupport? honorsChangeAnnotations? : Option Bool) →
      (codeActionLiteralSupport? : Option Lean.Lsp.CodeActionLiteralSupport) →
        (resolveSupport? : Option Lean.Lsp.ResolveSupport) →
          motive
            { dynamicRegistration? := dynamicRegistration?, isPreferredSupport? := isPreferredSupport?,
              disabledSupport? := disabledSupport?, dataSupport? := dataSupport?,
              honorsChangeAnnotations? := honorsChangeAnnotations?,
              codeActionLiteralSupport? := codeActionLiteralSupport?, resolveSupport? := resolveSupport? }) →
    (t : Lean.Lsp.CodeActionClientCapabilities) → motive t