1 2 3 4 5 6 7 8 9 10 11 12 13 14
{ SIGIOT = 6 , SIGEMT = 7 , SIGIO = 23 , SIGPWR = 29 , SIGINFO = 29 , SIGWINCH = 28 } : ./common-type.dhall ⩓ { SIGEMT : Natural, SIGINFO : Natural }