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