def leave

bolt@1.27.0.0 · src/stop.bend:24

import bolt@1.27.0.0/src/stop.bend as Stop

import Base

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

Uses (5)

Used by (1)

bolt@1.27.0.0/main:perform