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 -> Core.Never_returns.never_returns) ->
Core.Never_returns.never_returns
val reraise_uncaught : string -> (unit -> 'a) -> 'a
val backtrace : unit -> string
val sexp_of_t : t -> Sexplib.Sexp.t
end