Module `Config.Default`Source

Provides the default values of each of the config parameters.

Sourceval ppf : Format.formatter

ppf is Format.err_formatter.

Sourceval hide_cursor : bool

hide_cursor is true.

Sourceval persistent : bool

persistent is true.

Sourceval max_width : int option

max_width is None.

Sourceval min_interval : Duration.t option

min_interval is 1/60th of a second.

Module Config.DefaultSource