sig type t val create : int -> char -> Progress_report.t val tick : efficiency:bool -> float -> float -> int -> float -> Progress_report.t -> unit val complete_progress_bar : float -> int -> Progress_report.t -> unit end