sig
  type t = exn
  exception Finally of exn * exn
  val to_string : Exn.t -> string
  val register_converter : (Exn.t -> string option) -> unit
  val sexp_of_t : Exn.t -> Sexplib.Sexp.t
  val protectx : f:('-> 'b) -> '-> finally:('-> unit) -> 'b
  val protect : f:(unit -> 'a) -> finally:(unit -> unit) -> 'a
  val pp : Format.formatter -> Exn.t -> unit
end