def b32
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64import Base
30def b32(b: Bool) -> U32:
31 match b:
32 case True{}:
33 1
34 case False{}:
35 0
Uses (2)
Used by (27)
- bend-collections-laws-crypto@1.0.0.0/src/math/w64:sub
- bend-collections-laws-crypto@1.0.0.0/proofs/math/typed/w64mul:b32_v
- bend-collections-laws-crypto@1.0.0.0/proofs/math/typed/w64add:add_value
- bend-collections-laws-crypto@1.0.0.0/src/math/w64:or_bit
- bend-collections-laws-crypto@1.0.0.0/src/math/w64:add_fin
- …