X-Git-Url: https://git.xandkar.net/?p=dups.git;a=blobdiff_plain;f=lib%2Fmetrics.mli;fp=lib%2Fmetrics.mli;h=27adc8c107c7afb0b78cd5886addfc822e7abc43;hp=0000000000000000000000000000000000000000;hb=ddcbda0046a598d55746850e15d4fa99b3998ce0;hpb=21e1d14c1e23d2c586ebe1480add8e9d87e7ad7a

diff --git a/lib/metrics.mli b/lib/metrics.mli
new file mode 100644
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