Module `Imandra_util.Debug`

Debug

val debug : int
val info : int
val warn : int
val error : int
val silent : int

module Channel : sig ... end

val level_active : int -> bool: Is the given level active (ie would trace print anything)?

val set_debug : ?⁠c:Channel.t -> ?⁠level:int -> ?⁠color:bool -> unit -> unit: Set debug level. Use silent to disable

val set_debug_l : ?⁠color:bool -> string list -> int -> unit: set_debug_l names lvl sets lvl on all channels in the list

val trace : ?⁠c:Channel.t -> ?⁠level:int -> string -> unit: Trace message with given level

val tracef : ?⁠c:Channel.t -> ?⁠level:int -> ((('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a) -> unit) -> unit: Trace message with given level. Example of usage: tracef ~level:3 (fun k->k "hello %d" 42)

val emit_pp : ?⁠c:Channel.t -> ?⁠level:int -> pp:'a CCFormat.printer -> 'a -> unit
val emit_doc : ?⁠c:Channel.t -> ?⁠level:int -> Imandra_document.Document.t -> unit

module Debug_event : sig ... end