Array Lean.Elab.Command.InductiveView →
  Array Lean.Elab.Command.InductiveElabStep2 →
    Array Lean.Expr →
      Array Lean.Expr →
        List Lean.Name →
          ℕ →
            ℕ →
              List Lean.InductiveType →
                Bool →
                  Array Lean.Elab.Command.ElabHeaderResult →
                    Array Lean.Expr → Bool → Lean.Elab.Command.AddAndFinalizeContext✝