Module Incr_dom_keyboard
module Grouped_help_text : sig ... endA
Grouped_help_text.tis similar to aHelp_text.t, but allows the user to organize the commands into groups.
module Help_text : sig ... endA
Help_text.trepresents the documentation for a collection of commands. It can be displayed as a Vdom node.
module Keyboard_event_handler : sig ... endA
Keyboard_event_handler.tis a collections of actions (commands and disabled keys) that can be used to handle keyboard events and to produce help text.
module Keystroke : sig ... endmodule Variable_keyboard_event_handler : sig ... endA
Variable_keyboard_event_handler.tprovides a way of representing a keyboard event handler that contains both a (possibly empty) constant set of actions and a variable set of actions that depends on some'envvariable. In order to handle keyboard events or produce help text, it must first be converted to aKeyboard_event_handler.tusing the functionto_const_handler.
module Keyboard_event : sig ... end