Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature POSIX_SIGNAL = |
2 | sig | |
3 | eqtype signal | |
4 | ||
5 | val toWord: signal -> SysWord.word | |
6 | val fromWord: SysWord.word -> signal | |
7 | ||
8 | val abrt: signal | |
9 | val alrm: signal | |
10 | val bus: signal | |
11 | val fpe: signal | |
12 | val hup: signal | |
13 | val ill: signal | |
14 | val int: signal | |
15 | val kill: signal | |
16 | val pipe: signal | |
17 | val quit: signal | |
18 | val segv: signal | |
19 | val term: signal | |
20 | val usr1: signal | |
21 | val usr2: signal | |
22 | val chld: signal | |
23 | val cont: signal | |
24 | val stop: signal | |
25 | val tstp: signal | |
26 | val ttin: signal | |
27 | val ttou: signal | |
28 | end | |
29 | ||
30 | signature POSIX_SIGNAL_EXTRA = | |
31 | sig | |
32 | include POSIX_SIGNAL | |
33 | ||
34 | val prof: signal | |
35 | val vtalrm: signal | |
36 | ||
37 | val fromRep: C_Int.t -> signal | |
38 | val toRep: signal -> C_Int.t | |
39 | ||
40 | val repFromInt: int -> C_Int.t | |
41 | val repToInt: C_Int.t -> int | |
42 | ||
43 | val fromInt: int -> signal | |
44 | val toInt: signal -> int | |
45 | end |