∀ (declName : Lean.Name) (paramsInfo : Array Lean.Compiler.LCNF.SpecParamInfo) (alreadySpecialized : Bool),
  sizeOf { declName := declName, paramsInfo := paramsInfo, alreadySpecialized := alreadySpecialized } =
    1 + sizeOf declName + sizeOf paramsInfo + sizeOf alreadySpecialized