package owi
Module Owi.Log
Module to enable or disable the printing of debug logs.
val debug_on : bool refwether debug printing is enabled or not
val profiling_on : bool refwether profiling printing is enabled or not
val debug0 : (unit, Format.formatter, unit) format -> unitprint some debug info
val debug1 : ('a -> unit, Format.formatter, unit) format -> 'a -> unitval debug2 :
('a -> 'b -> unit, Format.formatter, unit) format ->
'a ->
'b ->
unitval debug5 :
('a -> 'b -> 'c -> 'd -> 'e -> unit, Format.formatter, unit) format ->
'a ->
'b ->
'c ->
'd ->
'e ->
unitval profile3 :
('a -> 'b -> 'c -> unit, Format.formatter, unit) format ->
'a ->
'b ->
'c ->
unitprint some profiling info
val err : ('a, Format.formatter, unit, 'b) format4 -> 'aprint some error and exit