Module Note_brr_kitSource

User interaction

Sourcemodule Windowr : sig ... end

Window reactions.

Sourcemodule Key : sig ... end

User keyboard.

Sourcemodule Mouse : sig ... end

User mouse.

Sourcemodule Time : sig ... end

Monotonic time.

Sourcemodule Human : sig ... end

Human factors.

Sourcemodule Ui : sig ... end

Graphical user interaction.