Module Oug_global


module Oug_global: sig .. end
Global variables.


Managing verbosity


val set_print_verbose : (string -> unit) -> unit
val print_verbose : ?loc:string -> ?level:int -> (unit -> string) -> unit
val change_verbose_level : (int -> int) -> unit
change_verbose_level f gives f the previous verbosity level and set as new one the result of f.
val incr_verbose_level : unit -> unit
val decr_verbose_level : unit -> unit