Module type Log.SLog
val log : 'a log_printer
log m l f v ...
outputs a message from modulem
on levell
, formatted with the parameterized stringf
and the valuesv ...
val log_uncond : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
log_uncond m f v ...
outputs a message from modulem
unconditionally, formatted with the parameterized stringf
and the valuesv ...
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