Metrics.Metrics_cilast
See Metrics_cilast.
Metrics_cilast
val get_metrics_map : libc:bool -> Metrics_base.BasicMetrics.t Metrics_base.OptionKf.Map.t Frama_c_kernel.Datatype.Filepath.Map.t