def word_bytes

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sign.bend:33

import Base

33def word_bytes(+w: U32, rest: List<&2, U32>) -> List<&2, U32>:
34  Con{U32.and(w, 255), Con{U32.and(U32.shrn(w, 8n), 255), Con{U32.and(U32.shrn(w, 16n), 255), Con{U32.shrn(w, 24n), rest}}}}