Модуль Runtime_events.User

module User: sig .. end

События пользователя — это способ для библиотек предоставлять события во время выполнения, которые могут быть обработаны другими инструментами. Эти события могут содержать известные типы данных или пользовательские значения. Текущее максимальное количество событий пользователя — 8192.

type tag = ..

Тип тега события пользователя. Теги используются для различения событий пользователя одного типа.

type 'value t

Тип события пользователя. События пользователя описывают свой тег, переносимый тип данных и уникальное имя на основе строки.

val register : string ->       tag ->       'value Runtime_events.Type.t -> 'value t

register name tag ty регистрирует новое событие с уникальным name, несущим tag и значения типа ty.

val write : 'value t -> 'value -> unit

write t v отправляет значение v для события t.

val name : 'a t -> string

name t — это уникальное идентифицирующее имя события t.

val tag : 'a t -> tag

tag t — это связанный тег события t, если он известен. Событие может быть неизвестным, если оно не было зарегистрировано в программе-потребителе.