package why3find

  1. Overview
  2. Docs

Module Why3findUtils.LogSource

Sourceval pp_stdout : ((Format.formatter -> unit) -> unit) ref
Sourceval pp_stderr : ((Format.formatter -> unit) -> unit) ref
Sourceval printf : ('a, Format.formatter, unit) format -> 'a
Sourceval eprintf : ('a, Format.formatter, unit) format -> 'a
Sourcetype level = [
  1. | `Message
  2. | `Warning
  3. | `Error
]
Sourceval set_log : bool -> unit
Sourceval emit : ?level:level -> ('a, Format.formatter, unit) format -> 'a
Sourceval message : ('a, Format.formatter, unit) format -> 'a
Sourceval warning : ('a, Format.formatter, unit) format -> 'a
Sourceval error : ('a, Format.formatter, unit) format -> 'a