~/jendhub

def byte_of

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/random.bend:33

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/random.bend as Random
import Base

33# Go's byte(v >> k)
34def byte_of(+w: U32, +k: Nat) -> U32:
35  U32.and(U32.shrn(w, k), 255)

Uses (4)

Used by (5)