def require

bendtorch-load@1.3.0.0 · main.bend:10

import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad

import Base

10def require(ok: Bool, +message: String) -> IO(Unit):
11  match ok:
12    case True{}: IO.pure(Unit, Unit{})
13    case False{}: IO.die(Unit, 1, message)

Uses (6)

Used by (10)