classThe minimal class of diagnostic events. Use['a]
event :'a #prioritizer -> 'a -> string ->
object
..end
new event p v m
to
construct an event
object with the prioritizer p
, the priority
level v
, and the message m
.method prioritizer : 'a prioritizer
method level : 'a
method message : string