1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556openTrace_coremoduleSub=Trace_subscriber(** An event, specialized for TEF *)typet=|E_tick|E_messageof{tid:int;msg:string;time_us:float;data:(string*Sub.user_data)list;}|E_define_spanof{tid:int;name:string;time_us:float;id:span;fun_name:stringoption;data:(string*Sub.user_data)list;}|E_exit_spanof{id:span;time_us:float;}|E_add_dataof{id:span;data:(string*Sub.user_data)list;}|E_enter_manual_spanof{tid:int;name:string;time_us:float;id:int;flavor:Sub.flavoroption;fun_name:stringoption;data:(string*Sub.user_data)list;}|E_exit_manual_spanof{tid:int;name:string;time_us:float;flavor:Sub.flavoroption;data:(string*Sub.user_data)list;id:int;}|E_counterof{name:string;tid:int;time_us:float;n:float;}|E_name_processof{name:string}|E_name_threadof{tid:int;name:string;}