(motive : Array Lean.Compiler.LCNF.CodeDecl × Lean.Compiler.LCNF.Cases → Sort u_1) →
  (x : Array Lean.Compiler.LCNF.CodeDecl × Lean.Compiler.LCNF.Cases) →
    ((decls : Array Lean.Compiler.LCNF.CodeDecl) → (cases : Lean.Compiler.LCNF.Cases) → motive (decls, cases)) →
      motive x