(motive : Unit × Array Lean.Compiler.LCNF.CodeDecl → Sort u_1) →
  (__discr : Unit × Array Lean.Compiler.LCNF.CodeDecl) →
    ((fst : Unit) → (decls : Array Lean.Compiler.LCNF.CodeDecl) → motive (fst, decls)) → motive __discr