logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Util . Exn
val pp_stack : Buffer.t -> int -> unit

printer for the stack with given depth

val fmt_stack : Format.formatter -> int -> unit
val pp_backtrace : Buffer.t -> unit -> unit

printer for backtraces, if enabled (print nothing otherwise)

val fmt_backtrace : Format.formatter -> unit -> unit
val string_of_backtrace : unit -> string