def leave.at

bolt@1.27.0.0 · src/stop.bend:17

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

import Base

17def leave.at(zero: Bool, code: U32) -> IO(Unit):
18  match zero:
19    case True{}:
20      IO.pure(Unit, Unit{})
21    case False{}:
22      IO.die(Unit, code, "")

Uses (6)

Used by (1)

bolt@1.27.0.0/src/stop:leave