{α : Type} →
  Lean.Expr →
    Array Lean.Expr →
      Array Lean.Meta.Match.DiscrInfo →
        List Lean.Meta.Match.AltLHS →
          Option Lean.Meta.Match.Overlaps →
            (List Lean.Meta.Match.Alt → Array Lean.Expr → Array Lean.Meta.Match.AltParamInfo → Lean.MetaM α) →
              Lean.MetaM α