Lean.Meta.ElimInfo →
  Lean.Syntax →
    ℕ →
      Array Lean.FVarId →
        Array Lean.FVarId →
          Array (Lean.Ident × Lean.FVarId) →
            Array (Lean.Language.SnapshotBundle Lean.Elab.Tactic.TacticParsedSnapshot) →
              Array Lean.Syntax → ℕ → Lean.Syntax → Lean.Elab.Tactic.ElimApp.Alt → Lean.Elab.Tactic.TacticM PUnit.{1}