def bo

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/word.bend as Word

import Base

30# a bit worth `one`
31def bo(b: Bool, +one: Nat) -> Nat:
32  match b:
33    case True{}:
34      one
35    case False{}:
36      0n

Uses (2)