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
emits value v
for event t
.
val name : _ t -> string
name t
is the unique identifying name of event t
.