type t
val of_exn : exn -> t