blob: 36fdd8428f5ca0ff3ec4b19ce86a76b3de9aa717 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{ SIGIOT =
6
, SIGSTKFLT =
16
, SIGIO =
29
, SIGPWR =
30
, SIGWINCH =
28
, SIGUNUSED =
31
}
: ./common-type.dhall ⩓ { SIGSTKFLT : Natural, SIGUNUSED : Natural }
|