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