sig
  type t = exn
  val pp : Format.formatter -> t -> unit
  exception Finally of Exn.t * Exn.t
  exception Reraised of string * Exn.t
  val reraise : Exn.t -> string -> 'a
  val reraisef :
    Exn.t -> ('a, unit, string, unit -> 'b) Pervasives.format4 -> 'a
  val to_string : Exn.t -> string
  val to_string_mach : Exn.t -> string
  val protectx : f:('a -> 'b) -> 'a -> finally:('a -> unit) -> 'b
  val protect : f:(unit -> 'a) -> finally:(unit -> unit) -> 'a
  val handle_uncaught : exit:bool -> (unit -> unit) -> unit
  val handle_uncaught_and_exit :
    (unit -> Never_returns.never_returns) -> Never_returns.never_returns
  val reraise_uncaught : string -> (unit -> 'a) -> 'a
  val backtrace : unit -> string
  val sexp_of_t : Exn.t -> Sexplib.Sexp.t
end