1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768(** Events.
Each callback in a subscriber corresponds to an event, which can be for
example queued somewhere or batched for further processing. *)openTrace_coremoduleSub=Trace_subscriber(** An event with TEF/fuchsia semantics *)typet=|E_tick|E_initof{time_ns:int64}|E_shutdownof{time_ns:int64}|E_messageof{tid:int;msg:string;time_ns:int64;data:(string*Sub.user_data)list;}|E_define_spanof{tid:int;name:string;time_ns:int64;id:span;fun_name:stringoption;data:(string*Sub.user_data)list;}|E_exit_spanof{id:span;time_ns:int64;}|E_add_dataof{id:span;data:(string*Sub.user_data)list;}|E_enter_manual_spanof{tid:int;name:string;time_ns:int64;id:trace_id;flavor:Sub.flavoroption;fun_name:stringoption;data:(string*Sub.user_data)list;}|E_exit_manual_spanof{tid:int;name:string;time_ns:int64;flavor:Sub.flavoroption;data:(string*Sub.user_data)list;id:trace_id;}|E_counterof{name:string;tid:int;time_ns:int64;n:float;}|E_name_processof{name:string}|E_name_threadof{tid:int;name:string;}|E_extension_eventof{tid:int;time_ns:int64;ext:Trace_core.extension_event;}