IO.die: def of Base
Import: import Base
Lines 212-213 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=212&end_line=213

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.OP
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32