decimation:int ->
label:string ->
channel:Pervasives.out_channel -> unit -> Progress.progress_indicator