def octets

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/chacha.bend:84

import Base

84# The four little-endian bytes of a word.
85def octets(+w: U32) -> List<&2, U32>:
86  [U32.and(w, 255), U32.and(U32.shrn(w, 8n), 255),
87   U32.and(U32.shrn(w, 16n), 255), U32.shrn(w, 24n)]