Move modules into dedicated files

[dups.git] / lib / metrics.mli

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