sig
  type t
  val create :
    ?enabled:bool ->
    ?total:int -> ?unbounded:bool -> Util.label -> Util.Progress.t
  val enable : Util.label -> unit
  val disable : Util.label -> unit
  val set_total : Util.Progress.t -> int -> unit
  val progress : ?i:int -> Util.Progress.t -> unit
  val reset : Util.Progress.t -> unit
  val available : unit -> Util.label list
end