~/jendhub

def wb_of

gralha-byte-words@0.1.0.0 · words.bend:91

import gralha-byte-words@0.1.0.0/words.bend as Words
import Base

91def wb_of(r: Array<U32> & U32, +sh: U32) -> Array<U32> & U32:
92  (a, v) = r
93  (a, (U32.shrn(v, U32.to_nat(sh)) .&. 255 : U32))

Uses (7)

Used by (1)