Move modules into dedicated files

[dups.git] / lib / metrics.mli

diff --git a/lib/metrics.mli b/lib/metrics.mli
new file mode 100644 (file)
index 0000000..27adc8c
--- /dev/null
+++ b/lib/metrics.mli
@@ -0,0 +1,36 @@
+type t
+
+val init
+  : unit -> t
+val report
+  : t
+  -> wall_time_all:float
+  -> wall_time_group_by_size:float
+  -> wall_time_group_by_head:float
+  -> wall_time_group_by_digest:float
+  -> proc_time_all:float
+  -> proc_time_group_by_size:float
+  -> proc_time_group_by_head:float
+  -> proc_time_group_by_digest:float
+  -> unit
+
+val file_considered
+  : t -> size:int -> unit
+val file_ignored
+  : t -> size:int -> unit
+val file_empty
+  : t -> unit
+val file_sampled
+  : t -> unit
+val chunk_read
+  : t -> size:int -> unit
+val file_unique_size
+  : t -> size:int -> unit
+val file_unique_sample
+  : t -> size:int -> unit
+val file_hashed
+  : t -> size:int -> unit
+val digest
+  : t -> unit
+val redundant_data
+  : t -> size:int -> unit