∀ (indInfo : Lean.InductiveVal) (sizeOfFns : Array Lean.Name) (ctorName : Lean.Name)
  (params localInsts : Array Lean.Expr) (recMap : Lean.NameMap Lean.Name),
  sizeOf
      { indInfo := indInfo, sizeOfFns := sizeOfFns, ctorName := ctorName, params := params, localInsts := localInsts,
        recMap := recMap } =
    1 + sizeOf indInfo + sizeOf sizeOfFns + sizeOf ctorName + sizeOf params + sizeOf localInsts + sizeOf recMap