(motive : Lean.Compiler.LCNF.Alt Lean.Compiler.LCNF.Purity.pure → Sort u_1) →
  (alt : Lean.Compiler.LCNF.Alt Lean.Compiler.LCNF.Purity.pure) →
    ((k : Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure) → motive (Lean.Compiler.LCNF.Alt.default k)) →
      ((ctorName : Lean.Name) →
          (ps : Array (Lean.Compiler.LCNF.Param Lean.Compiler.LCNF.Purity.pure)) →
            (k : Lean.Compiler.LCNF.Code Lean.Compiler.LCNF.Purity.pure) →
              motive (Lean.Compiler.LCNF.Alt.alt ctorName ps k ⋯)) →
        motive alt