Mathlib.Tactic.DepRewrite.Config →
  Lean.Expr →
    Lean.Expr →
      Lean.Expr →
        Array (Lean.FVarId × Lean.Expr) →
          Std.HashSet Lean.FVarId → Lean.HeadIndex → ℕ → Mathlib.Tactic.DepRewrite.Context