Module Note_brr_kit

User interaction

module Windowr : sig ... end

Window reactions.

module Key : sig ... end

User keyboard.

module Mouse : sig ... end

User mouse.

module Time : sig ... end

Monotonic time.

module Human : sig ... end

Human factors.

module Ui : sig ... end

Graphical user interaction.