def carry
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as U64import Base
26def carry(b: Bool) -> U32:
27 match b:
28 case True{}:
29 1
30 case False{}:
31 0
Uses (2)
Used by (8)
- bend-collections-laws-math@1.0.0.0/proofs/math/u64/u64:add_over
- bend-collections-laws-math@1.0.0.0/proofs/math/u64/u64:neg
- bend-collections-laws-math@1.0.0.0/proofs/math/u64/u64:add_carry
- bend-collections-laws-math@1.0.0.0/proofs/math/u64/u64:add_value
- bend-collections-laws-math@1.0.0.0/proofs/math/u64/u64:carry_v
- …