Module Glt_common.Key_handling
val read_key : unit -> Key.editor_key listval process_key : State.t -> Key.editor_key -> State.t
Glt_common.Key_handlingval read_key : unit -> Key.editor_key listval process_key : State.t -> Key.editor_key -> State.t