Module type Log.SLog

val log : 'a log_printer

log m l f v ... outputs a message from module m on level l, formatted with the parameterized string f and the values v ...

val log_uncond : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a

log_uncond m f v ... outputs a message from module m unconditionally, formatted with the parameterized string f and the values v ...

val log_result : (Stdlib.Format.formatter -> 'a -> unit) -> (Stdlib.Format.formatter -> 'a -> unit) -> (Stdlib.Format.formatter -> 'a -> unit) -> 'a -> unit

log_result pt xml json a outputs a result (for instance, for a post analysis) by choosing the right printing function depending on the output format