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