dune-private-libs.stdune
Console.Status_line
This module allows to buffer status updates so that they don't slow down the application
dune-private-libs.cache
dune-private-libs.dune-lang
dune-private-libs.dune-section
dune-private-libs.dune_csexp
dune-private-libs.dune_re
dune-private-libs.dune_util
dune-private-libs.filesystem_stubs
dune-private-libs.meta_parser
dune-private-libs.ocaml-config
dune-private-libs.xdg
type t = unit -> User_message.Style.t Pp.t option
Function that produces the current status line
val set : t -> unit
Change the status line generator
val set_temporarily : t -> (unit -> 'a) -> 'a
val refresh : unit -> unit