~/jendhub

def ow_split

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

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

295def ow_split(a: Array<U32>, +q: U32, +v: U32, +sh: U32, split: Bool) -> Array<U32>:
296  match split:
297    case True{}:
298      Array.set(U32, a, (q + 1 : U32), U32.shrn(v, U32.to_nat((32 - sh : U32))))
299    case False{}:
300      a

Uses (8)

Used by (1)