1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
{ finish : Optional Text , up : Bool , setid : Bool , notification-fd : Optional Natural , timeout-kill : Natural , timeout-finish : Natural , max-death-tally : Natural , down-signal : ./../imports/Signal/type.dhall }