sig
  val register_printer : exn -> (exn -> string) -> unit
  val to_string : exn -> string
end