Class type Progress.progress_indicator


class type progress_indicator = object .. end

method set_label : string -> unit
method set_decimation : int -> unit
method display : ?force:bool -> int * int -> unit
method start : unit
method finish : unit
method warn : string -> unit