~/jendhub

def xrow.bits

gralha-coverage@0.1.0.1 · cover.bend:944

import gralha-coverage@0.1.0.1/cover.bend as Cover
import Base

944def xrow.bits(st: (Array<F32> & Array<U32>) & XState, n: Nat, +word: U32, +mask: U32, +cell: U32) -> (Array<F32> & Array<U32>) & XState:
945  (arrays, state) = st
946  match n:
947    case 0n: (arrays, state)
948    case 1n+d: xrow.bits(xrow.cell(arrays, U32.is_gt(U32.and(word, mask), 0), cell, state), d, word, U32.div(mask, 2), (cell - 1 : U32))

Uses (12)

Used by (1)