package msat

  1. Overview
  2. Docs
val set_debug : int -> unit
val get_debug : unit -> int
val debugf : int -> ('a, Format.formatter, unit, unit) format4 -> ('a -> unit) -> unit
val debug : int -> string -> unit
val set_debug_out : Format.formatter -> unit