Module Integration.TraceBugs
val explore : selector_limit:int option -> report_txt:string -> report_json:string -> show_source_context:bool -> selected:[ `All | `Select of int ] option -> max_nested_level:int option -> unit
val gen_html_report : show_source_context:bool -> max_nested_level:int option -> report_json:string -> report_html_dir:string -> unit