blob: c937a3a418e7f72fed8d4389943d2b396b98c981 (
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 }
|