MetricsFailuresSeq MetricsMap MetricsView StringIntDict

StringIntDict dictionary<string, int> StringIntDict A dictionary of strings to integers. Definition at line 19 of file Metrics.ice.