caps.tcb
TCB.Printexc
caps
type raw_backtrace = Printexc.raw_backtrace
val record_backtrace : bool -> unit
val register_printer : (exn -> string option) -> unit
val get_backtrace : unit -> string
val get_raw_backtrace : unit -> Printexc.raw_backtrace
val get_callstack : int -> Printexc.raw_backtrace
val raise_with_backtrace : exn -> Printexc.raw_backtrace -> 'a
val to_string : exn -> string
val raw_backtrace_to_string : Printexc.raw_backtrace -> string