diff --git a/trace-tef/Trace_tef/Writer/index.html b/trace-tef/Trace_tef/Writer/index.html index 964d54f..d4671db 100644 --- a/trace-tef/Trace_tef/Writer/index.html +++ b/trace-tef/Trace_tef/Writer/index.html @@ -35,7 +35,12 @@ tid:int -> name:string -> Stdlib.Buffer.t -> - unit
val emit_name_process : pid:int -> name:string -> Stdlib.Buffer.t -> unitval emit_name_process : pid:int -> name:string -> Stdlib.Buffer.t -> unitval emit_process_sort_index : pid:int -> int -> Stdlib.Buffer.t -> unitval emit_thread_sort_index :
+ pid:int ->
+ tid:int ->
+ int ->
+ Stdlib.Buffer.t ->
+ unitval emit_counter :
pid:int ->
tid:int ->
name:string ->
diff --git a/trace/Trace_core/Core_ext/index.html b/trace/Trace_core/Core_ext/index.html
index 40a1483..b3fa2f9 100644
--- a/trace/Trace_core/Core_ext/index.html
+++ b/trace/Trace_core/Core_ext/index.html
@@ -1,2 +1,2 @@
-Core_ext (trace.Trace_core.Core_ext) Module Trace_core.Core_ext
A few core extensions.
+Core_ext (trace.Trace_core.Core_ext) Module Trace_core.Core_ext
A few core extensions.