2 [ `Ascii
of char
| `Code
of int | `Fn
of int
3 | `Backspace
| `Delete
| `Escape
| `Insert
| `Enter
4 | `KPdelete
| `KPdown
| `KPend
| `KPenter
| `KPhome
5 | `KPleft
| `KPminus
| `KPnext
| `KPplus
| `KPprior
7 | `Up
| `Down
| `Left
| `Right
| `Next
| `Prior
| `Home
| `End
]