def IO.exit

Base · base.bend:215

215def IO.exit(code: U32) -> IO(Unit):
216  R => k => Exit{code}