def bit_length

bend-collections@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:157

import Base

157def bit_length(+n: Nat) -> List<&2, U32>:
158  length_octets(7n, Nat.div(n, 32n),
159    [U32.shln(U32.from_nat(Nat.mod(n, 32n)), 3n)])