def u32_max
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
73def u32_max() -> U32:
74 4294967295
Uses (1)
Used by (7)
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fix32:top
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_saturating_add
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_saturating_mul
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u32_saturating_pow
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fix32:saturating_add
- …