Lean.Elab.Command.InductiveView →
  (Array Lean.Elab.Command.ElabHeaderResult →
      Lean.Elab.Command.ElabHeaderResult → Array Lean.Expr → Lean.Elab.TermElabM Lean.Elab.Command.InductiveElabStep2) →
    Lean.Elab.Command.InductiveElabStep1