sig
  val log : 'a log_printer
  val log_uncond : ('a, Format.formatter, unit) Pervasives.format -> 'a
end