def byte

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake2s.bend:116

import Base

116# Byte k (0 = least significant) of a word: the packed input holds four
117# message bytes per word in little-endian order.
118def byte(+w: U32, k: Nat) -> U32:
119  U32.and(255, U32.shrn(w, Nat.mul(8n, k)))