Lean.Meta.SolveByElim.SolveByElimConfig →
  Lean.MVarId →
    List (Lean.Elab.TermElabM Lean.Expr) →
      (Lean.Meta.SolveByElim.SolveByElimConfig → Lean.Elab.TermElabM (List Lean.Expr)) → Lean.MetaM (List Lean.Expr)