def b7

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/random/bytes.bend:59

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/random.bend as SCR

59def b7(x: W.U64) -> List<&2, U32>:
60  match x:
61    case W.U64{+l, +h}:
62      [SCR.byte_of(l, 8n), SCR.byte_of(l, 16n), SCR.byte_of(l, 24n), SCR.byte_of(h, 0n), SCR.byte_of(h, 8n), SCR.byte_of(h, 16n), SCR.byte_of(h, 24n)]