∀ (toPreprocessorBase : Mathlib.Tactic.Linarith.PreprocessorBase)
  (transform : List Lean.Expr → Lean.MetaM (List Lean.Expr)),
  sizeOf { toPreprocessorBase := toPreprocessorBase, transform := transform } = 1 + sizeOf toPreprocessorBase