Starvation.ReportMap
type t
val empty : t
val store_multi_file : t -> unit
generate and store issue logs for all source files involved in this report map; for use in the whole-program mode only