Option Bool →
  Array Lean.Elab.Term.Discr →
    Lean.Expr →
      Array Lean.Elab.Term.MatchAltView →
        Lean.Elab.TermElabM (Array Lean.Elab.Term.Discr × Lean.Expr × Array (Lean.Meta.Match.AltLHS × Lean.Expr) × Bool)