sig
  type t = exn
  val pp : Format.formatter -> t -> unit
  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 to_string_mach : 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 -> Core_kernel.Never_returns.never_returns) ->
    Core_kernel.Never_returns.never_returns
  val reraise_uncaught : string -> (unit -> 'a) -> 'a
  val backtrace : unit -> string
  val sexp_of_t : t -> Sexplib.Sexp.t
  val to_string : exn -> string
  val to_string_hum : exn -> string
  val unwrap : exn -> exn
  module Exn_string :
    sig
      type t = Exn.Exn_string.t
      val t_of_sexp : Sexplib.Sexp.t -> t
      val sexp_of_t : t -> Sexplib.Sexp.t
      val of_string : string -> t
      val to_string : t -> string
      val bin_size_t : t Bin_prot.Size.sizer
      val bin_write_t : t Bin_prot.Write.writer
      val bin_read_t : t Bin_prot.Read.reader
      val __bin_read_t__ : (int -> t) Bin_prot.Read.reader
      val bin_writer_t : t Bin_prot.Type_class.writer
      val bin_reader_t : t Bin_prot.Type_class.reader
      val bin_t : t Bin_prot.Type_class.t
      val of_exn : exn -> t
    end
end