Module B0_ui

User interaction fragments.

User interaction fragments for devising build tools.

User interaction fragments

module Sig_exit : sig ... end

Signal exit hooks.

module Cli : sig ... end

Cmdliner fragments.

module B0_std : sig ... end

B0_std configuration.

module File_cache : sig ... end

B00.File_cache interaction.

module Op : sig ... end

B000.Op interaction.

module Memo : sig ... end

B00.Memo interaction.

module Pager : sig ... end

Pager interaction.

module Editor : sig ... end

Editor interaction.

module Pdf_viewer : sig ... end

PDF viewer interaction.

module Browser : sig ... end

Web browser interaction.