Progress_bar.Reporter
type -'a t
val report : 'a t -> 'a -> unit
val finalise : 'a t -> unit
type (!_, !_) list =
| [] : ('a, 'a) list
| :: : 'a0 * ('b, 'c) list -> ('a0 -> 'b, 'c) list