decimation:int ->
label:string -> fmt:Format.formatter -> unit -> Progress.progress_indicator