def bit_u32

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/lemmas/src/wide.bend as Wide

import Base

51def bit_u32(b: Bool) -> U32:
52  match b:
53    case False{}:
54      0
55    case True{}:
56      1

Uses (2)