def u32_odd
import bend-collections-laws-math@1.0.0.0/src/math/instances.bend as Instancesimport Base
64def u32_odd(+a: U32) -> Bool:
65 U32.is_eq(U32.and(a, 1), 1)
Uses (4)
Used by (7)
- bend-collections-laws-math@1.0.0.0/src/math/instances:u32_is
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_wpow
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u64_wpow
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fix32:wp_go
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fix32:wp_odd
- …