repo.or.cz
/
llpp.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Add bounds checking
[llpp.git]
/
keys.mli
blob
73e48ec552ce6ff7f7ad05a8b0bc6129cb570579
1
type
t
=
2
Ascii
of
char
3
|
Code
of
int
4
|
Ctrl
of
int
5
|
Fn
of
int
6
|
Backspace
7
|
Delete
8
|
Escape
9
|
Insert
10
|
Enter
11
|
Up
12
|
Down
13
|
Left
14
|
Right
15
|
Next
16
|
Prior
17
|
Home
18
|
End
19
val
to_string
:
t
->
string