Module Integration.TextReport
val create_from_json : quiet:bool -> console_limit:int option -> report_txt:string -> report_json:string -> unitRead
report_jsonand produce a textual output inreport_txt. Ifnot quietthen display at mostconsole_limitissues on stdout. Ifconsole_limitisNonethen display all the issues.
val pp_jsonbug : F.formatter -> ATDGenerated.Jsonbug_t.jsonbug -> unitval pp_jsonbug_with_number : F.formatter -> (int * ATDGenerated.Jsonbug_t.jsonbug) -> unitpretty-print an issue together with a number, e.g. to identify it in a list
val pp_source_context : indent:int -> F.formatter -> ATDGenerated.Jsonbug_t.loc -> unit