{motive : Lean.CodeAction.CommandCodeActions → Sort u} →
  (t : Lean.CodeAction.CommandCodeActions) →
    ((onAnyCmd : Array Lean.CodeAction.CommandCodeAction) →
        (onCmd : Lean.NameMap (Array Lean.CodeAction.CommandCodeAction)) →
          motive { onAnyCmd := onAnyCmd, onCmd := onCmd }) →
      motive t