∀ (cfg : Mathlib.Tactic.DepRewrite.Config) (p x h : Lean.Expr) (Δ : Array (Lean.FVarId × Lean.Expr))
  (δ : Std.HashSet Lean.FVarId) (pHeadIdx : Lean.HeadIndex) (pNumArgs : ℕ),
  sizeOf { cfg := cfg, p := p, x := x, h := h, Δ := Δ, δ := δ, pHeadIdx := pHeadIdx, pNumArgs := pNumArgs } =
    1 + sizeOf cfg + sizeOf p + sizeOf x + sizeOf h + sizeOf Δ + sizeOf δ + sizeOf pHeadIdx + sizeOf pNumArgs