ref: 23f37b9d690c2c40819606a0e8be63c7206bfc1e
dir: /libstd/waitstatus+freebsd.myr/
use "die.use"
pkg std =
type waitstatus = union
`Waitexit int32
`Waitsig int32
`Waitstop int32
;;
const waitstatus : (st : int32 -> waitstatus)
;;
const waitstatus = {st
match st & 0o177
| 0: -> `Waitexit (st >> 8)
| 0x7f:-> `Waitstop (st >> 8)
| sig: -> `Waitsig sig
;;
die("unreachable")
}