package lambda-term
Module LTerm_keySource
Keys
Source
type code = | Char of Uchar.t(*A unicode character.
*)| Enter| Escape| Tab| Up| Down| Left| Right| F1| F2| F3| F4| F5| F6| F7| F8| F9| F10| F11| F12| Next_page| Prev_page| Home| End| Insert| Delete| Backspace
Type of key code.