progress.engine
Config.Default
Provides the default values of each of the config parameters.
progress
val ppf : Format.formatter
ppf is Format.err_formatter.
ppf
Format.err_formatter
val hide_cursor : bool
hide_cursor is true.
hide_cursor
true
val persistent : bool
persistent is true.
persistent
val max_width : int option
max_width is None.
max_width
None
val min_interval : Duration.t option
min_interval is 1/60th of a second.
min_interval