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