IBase.ProcessPoolState
val in_child : int option IStdlib.IStd.ref
Keep track of whether the current execution is in a child process
val update_status : (Mtime.t option -> string -> unit) IStdlib.IStd.ref
Ping the task bar whenever a new task is started with the start time (or just rename the current task if the start time is None
) and a description for the task
val update_heap_words : (unit -> unit) IStdlib.IStd.ref
val has_running_children : bool IStdlib.IStd.ref