def length_octets

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

import Base

150def length_octets(count: Nat, +n: Nat, acc: List<&2, U32>) -> List<&2, U32>:
151  match count:
152    case 0n:
153      acc
154    case 1n+p:
155      length_octets(p, Nat.div(n, 256n), U32.from_nat(Nat.mod(n, 256n)) <> acc)