Lean.Meta.ElimInfo →
  Array Lean.Elab.Tactic.ElimApp.Alt →
    Lean.Syntax →
      Option (Array Lean.Syntax) →
        Lean.Syntax →
          ℕ →
            Array Lean.FVarId →
              Array Lean.FVarId → Array (Lean.Ident × Lean.FVarId) → Lean.Elab.Tactic.TacticM (List Lean.MVarId)