(motive :
    Option
        (Array (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.pure) ×
          Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure) →
      Sort u_1) →
  (__discr :
      Option
        (Array (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.pure) ×
          Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure)) →
    ((params : Array (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.pure)) →
        (value : Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure) → motive (some (params, value))) →
      ((x :
            Option
              (Array (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.pure) ×
                Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure)) →
          motive x) →
        motive __discr