val set_global : info ‑> bool ‑> unit
set_global di
enables the use of the global debugging
configuration for di
. Has no effect on the global debug
configuration itself.
val set_output : info ‑> Pervasives.out_channel ‑> unit
set_debug_output di channel
sets output channel of di
to
channel
.
val set_level : info ‑> string ‑> unit
set_debug_level di level
sets debug level on di
according to
level
.
level
must be one of :