def bit_length
import bend-collections-laws-crypto@1.0.0.0/src/math/natural.bend as Naturalimport Base
166def bit_length(+n: Nat) -> Nat:
167 bit_length_go(n, n, 0n)
Uses (2)
Used by (34)
- bend-collections-laws-crypto@1.0.0.0/spec/math/f64:round
- bend-collections-laws-crypto@1.0.0.0/src/math/natural:isqrt
- bend-collections-laws-crypto@1.0.0.0/proofs/math/typed/w64clz:INV
- bend-collections-laws-crypto@1.0.0.0/src/math/natural:iroot_k
- bend-collections-laws-crypto@1.0.0.0/proofs/math/natural/bits:bit_length_le
- …