Util.ProgressProgressBars are printed immediately on stderr. * To be used, the **must** be created outside the functions where * they are used. * They can enabled or disabled (default)
create "barname" : create new a progress bar labelled "barname". The progress bar is disabled by default
val enable : label -> unitenable "barname" : enable the progress bar with label "barname"
val disable : label -> unitdisable "barname" : disable the progress bar with label "barname"
val set_total : t -> int -> unitset_total bar 10 : set the max width of the progress bar to 10 units
val progress : ?i:int -> t -> unitincrement the progress bar of i units
val reset : t -> unitreset the progress bar
val available : unit -> label listreturn the labels of all available progress bar