Random.Bool.case: def of bend-kit-random@0.1.0.1
Import: import bend-kit-random@0.1.0.1/random.bend as Random
Lines 47-52 of bend-kit-random@0.1.0.1/random.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-random@0.1.0.1/random.bend&start_line=47&end_line=52

import Base

def Bool.case(-A: Type, b: Bool, t: Unit -> A, f: Unit -> A) -> A:
  match b:
    case True{}:
      t(Unit{})
    case False{}:
      f(Unit{})

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit