Module Log.Make
Create a logging module parameterized by a relay function
Parameters
R : sig ... end
Signature
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