Integration.Differentialtype t = {introduced : ATDGenerated.Jsonbug_t.report;fixed : ATDGenerated.Jsonbug_t.report;preexisting : ATDGenerated.Jsonbug_t.report;costs_summary : Yojson.Basic.t;}val issues_of_reports :
current_report:ATDGenerated.Jsonbug_t.report ->
previous_report:ATDGenerated.Jsonbug_t.report ->
current_costs:ATDGenerated.Jsoncost_t.report ->
previous_costs:ATDGenerated.Jsoncost_t.report ->
current_config_impact:ATDGenerated.Jsonconfigimpact_t.report ->
previous_config_impact:ATDGenerated.Jsonconfigimpact_t.report ->
tval to_files : t -> string -> unit