def go.exit

ezx@1.11.0.0 · src/ez/main.bend:100

import ezx@1.11.0.0/src/ez/main.bend as Ezx
import Base

100# a status that is 0 ends nothing, and any other exits with it
101def go.exit(zero: Bool, +code: U32) -> IO(Unit):
102  match zero:
103    case True{}:
104      IO.pure(Unit, Unit{})
105    case False{}:
106      IO.die(Unit, code, "")

Uses (6)

Used by (1)