def IO.die

Base · base.bend:212

212def IO.die(-A: Type, code: U32, msg: String) -> IO(A):
213  R => k => Halt{code, msg}