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