class type progress_indicator = object .. end
object
end
method set_label : string -> unit
string -> unit
method set_decimation : int -> unit
int -> unit
method display : ?force:bool -> int * int -> unit
?force:bool -> int * int -> unit
method start : unit
unit
method finish : unit
method warn : string -> unit