Bool →
  Bool →
    List Lean.Term →
      List Lean.Term →
        Array Lean.Ident →
          Lean.MetaM
            (List (Lean.Elab.TermElabM Lean.Expr) ×
              (Lean.Meta.SolveByElim.SolveByElimConfig → Lean.Elab.TermElabM (List Lean.Expr)))