def exit_when

import cli@0.2.0.0/run.bend as Run

import Base

21def exit_when(zero: Bool, code: U32) -> IO(Unit):
22  match zero:
23    case True{}: IO.pure(Unit, Unit{})
24    case False{}: IO.exit(code)

Uses (6)

U32
Bool
Unit
IO
IO.pure
…

Used by (1)

cli@0.2.0.0/run:exit