MetricsMap typedef

MetricsMap = List<Metrics>

A metrics map is a sequence of metrics. We use a sequence here instead of a map because the ID of the metrics is already included in the Metrics class and using sequences of metrics objects is more efficient than using dictionaries since lookup is not necessary.

Implementation

typedef MetricsMap = List<Metrics>;