def w4_lo

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

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

import Base

83def w4_lo(r: Array<U32> & U32, +q: U32, +sh: U32) -> Array<U32> & U32:
84  (a, v) = r
85  w4_hi(Array.get(U32, a, (q + 1 : U32)), U32.shrn(v, U32.to_nat(sh)), sh)

Uses (9)

Used by (1)

gralha-byte-words@0.1.0.0/words:le32_at