mutable metrics_map: (my_metrics Datatype.String.Map.t) Datatype.String.Map.t = Datatype.String.Map.empty