Parameter Flushing._

val debug_ch : out_channel
val time_tagged : bool
val max_nesting_depth : int option
val max_num_children : int option