Module B0_ui

module B0_ui: sig .. end

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.