Minidebug_runtime.PrintBoxSourceThe logged traces will be pretty-printed as trees using the `printbox` package. This logger supports conditionally disabling a particular nesting of the logs, regardless of where in the nesting level no_debug_if is called.
include Debug_runtime_condinclude Debug_runtimeval open_log_preamble_brief :
fname:string ->
pos_lnum:int ->
pos_colnum:int ->
message:string ->
unitval open_log_preamble_full :
fname:string ->
start_lnum:int ->
start_colnum:int ->
end_lnum:int ->
end_colnum:int ->
message:string ->
unitWhen passed true within the scope of a log subtree, disables the logging of this subtree and its subtrees. Does not do anything when passed false (no_debug_if false does not re-enable the log).