IBase.TaskBarval refresh : t -> unitdraw the taskbar
val create : jobs:int -> tcreates a task bar for running jobs jobs in parallel
val update_status :
t ->
slot:int ->
Mtime.t ->
?heap_words:int ->
string ->
unitupdate_status task_bar ~slot t ?heap_words status records an event described by status on slot slot started at time t with total size of the major heap heap_words
val update_heap_words : t -> slot:int -> int -> unitupdate_heap_words task_bar ~slot heap_words records heap_words on slot slot
val set_tasks_total : t -> int -> unitset the total number of tasks to do
val tasks_done_reset : t -> unitrecord that 0 tasks have been completed so far
val set_remaining_tasks : t -> int -> unitset the number of tasks remaining to complete
val finish : t -> unittear down the task bar and ready the terminal for more output