blob: 220183c02a6fad3eb86573ae2f5f80839f52dd79 [file] [log] [blame] [edit]
open Types
open Value
type 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