∀ (config : Lean.Grind.Config) (extensions : Lean.Meta.Grind.ExtensionStateArray)
  (extra : Lean.PArray Lean.Meta.Grind.EMatchTheorem) (extraInj : Lean.PArray Lean.Meta.Grind.InjectiveTheorem)
  (extraFacts : Lean.PArray Lean.Expr) (symPrios : Lean.Meta.Grind.SymbolPriorities) (norm : Lean.Meta.Simp.Context)
  (normProcs : Array Lean.Meta.Simprocs) (anchorRefs? : Option (Array Lean.Meta.Grind.AnchorRef)),
  sizeOf
      { config := config, extensions := extensions, extra := extra, extraInj := extraInj, extraFacts := extraFacts,
        symPrios := symPrios, norm := norm, normProcs := normProcs, anchorRefs? := anchorRefs? } =
    1 + sizeOf config + sizeOf extensions + sizeOf extra + sizeOf extraInj + sizeOf extraFacts + sizeOf symPrios +
          sizeOf norm +
        sizeOf normProcs +
      sizeOf anchorRefs?