def u64_max
import bend-collections-laws-math@1.0.0.0/src/math/fixed.bend as Fixedimport Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as W
283def u64_max() -> W.U64:
284 W.U64{4294967295, 4294967295}
Uses (1)
Used by (10)
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fix64:top
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u64_wsub
- bend-collections-laws-math@1.0.0.0/proofs/math/typed/fix64:wsub_eq
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u64_saturating_add
- bend-collections-laws-math@1.0.0.0/src/math/fixed:u64_saturating_mul
- …