∀ (structs : Array Lean.Meta.Grind.AC.Struct) (opIdOf : Lean.PHashMap Lean.Meta.Sym.ExprPtr (Option ℕ))
  (exprToOpIds : Lean.PHashMap Lean.Meta.Sym.ExprPtr (List ℕ)) (steps : ℕ),
  sizeOf { structs := structs, opIdOf := opIdOf, exprToOpIds := exprToOpIds, steps := steps } =
    1 + sizeOf structs + sizeOf opIdOf + sizeOf exprToOpIds + sizeOf steps