~/jendhub

def xrow.words

gralha-coverage@0.1.0.1 · cover.bend:966

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

966def xrow.words(st: (Array<F32> & Array<U32>) & XState, n: Nat, +i: U32) -> (Array<F32> & Array<U32>) & XState:
967  match n:
968    case 0n: st
969    case 1n+d: xrow.words(xrow.word.of(st, i), d, (i - 1 : U32))

Uses (8)

Used by (1)