blob: d0007a9eb3d05b76b2f5fbc31fcf36fcec4e33d2 [file] [log] [blame] [edit]
open Types
open Value
type t = exn_
and exn_ = Exn of Tag.t * value list
type ref_ += ExnRef of exn_
val alloc_exn : Tag.t -> value list -> exn_
val type_of : exn_ -> deftype