def Bool.pick

Base · base.bend:614

614def Bool.pick(-A: Type, c: Bool, a: A, b: A) -> A:
615  match c:
616    case False{}:
617      b
618    case True{}:
619      a