Module B0_ui

User interaction fragments.

User interaction fragments for devising build tools.

User interaction fragments

module Cli : sig ... end

Cmdliner fragments.

module Memo : sig ... end

Memo interaction.

module Pager : sig ... end

Pager interaction.

module Editor : sig ... end

Editor interaction.

module Browser : sig ... end

Web browser interaction.