Stop.leave: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/stop.bend as Stop
Lines 24-26 of bolt@1.27.0.0/src/stop.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/stop.bend&start_line=24&end_line=26

import Base

# exit with a code: 0 falls through, any other ends the run with it
def leave(+code: U32) -> IO(Unit):
  leave.at(U32.is_eq(code, 0), code)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/stop.bend&name=leave.at