package ppx_minidebug
Parameter Flushing._
val debug_ch : unit -> out_channelval table_of_contents_ch : out_channel optionval time_tagged : time_taggedval elapsed_times : elapsed_timesval location_format : location_formatval toc_entry : toc_entry_criteria