Searched refs:TotalRecs (Results 1 – 1 of 1) sorted by relevance
1517 size_t TotalRecs = File.types().size(); in dumpTypeRefStats() local1532 P.formatLine("Records referenced: {0:N} / {1:N} {2:P}", RefRecs, TotalRecs, in dumpTypeRefStats()1533 (double)RefRecs / TotalRecs); in dumpTypeRefStats()