def Bool.case

bend-kit-random@0.1.0.1 · random.bend:47

import bend-kit-random@0.1.0.1/random.bend as Random

import Base

47def Bool.case(-A: Type, b: Bool, t: Unit -> A, f: Unit -> A) -> A:
48  match b:
49    case True{}:
50      t(Unit{})
51    case False{}:
52      f(Unit{})

Uses (2)

Bool
Unit

Used by (1)

bend-kit-random@0.1.0.1/random:below.go