~/jendhub

def xscan.rows.go

gralha-coverage@0.1.0.1 · cover.bend:1033

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

1033def xscan.rows.go(st: ((Array<F32> & Array<U32>) & (Array<F32> & Array<U32>)) & XData, n: Nat, +y: U32, +w: U32) -> ((Array<F32> & Array<U32>) & (Array<F32> & Array<U32>)) & XData:
1034  match n:
1035    case 0n: st
1036    case 1n+d: xscan.rows.go(xscan.row(st, y, w), d, (y + 1 : U32), w)

Uses (8)

Used by (1)