Runtime_events.User
User events is a way for libraries to provide runtime events that can be consumed by other tools. These events can carry known data types or custom values. The current maximum number of user events is 8192.
The type for a user event tag. Tags are used to discriminate between user events of the same type
The type for a user event. User events describe their tag, carried data type and an unique string-based name
register name tag ty
registers a new event with an unique name
, carrying a tag
and values of type ty
val write : 'value t -> 'value -> unit
write t v
records a new event t
with value v
val name : _ t -> string
name t
is the uniquely identifying name of event t