package caps

  1. Overview
  2. Docs

Module TCB.PrintexcSource

Sourcetype raw_backtrace = Printexc.raw_backtrace
Sourceval record_backtrace : bool -> unit
Sourceval register_printer : (exn -> string option) -> unit
Sourceval get_backtrace : unit -> string
Sourceval get_raw_backtrace : unit -> Printexc.raw_backtrace
Sourceval get_callstack : int -> Printexc.raw_backtrace
Sourceval raise_with_backtrace : exn -> Printexc.raw_backtrace -> 'a
Sourceval to_string : exn -> string
Sourceval raw_backtrace_to_string : Printexc.raw_backtrace -> string