∀ (instName : Lean.Name) (typeInfos : Array Lean.InductiveVal) (auxFunNames : Array Lean.Name) (usePartial : Bool),
  sizeOf { instName := instName, typeInfos := typeInfos, auxFunNames := auxFunNames, usePartial := usePartial } =
    1 + sizeOf instName + sizeOf typeInfos + sizeOf auxFunNames + sizeOf usePartial