~/jendhub

def soa.lines.go

gralha-coverage@0.1.0.1 · cover.bend:842

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

842def soa.lines.go(st: Array<F32> & (Array<U32> & List<&2, CovLine>), n: Nat, +k: U32) -> Array<F32> & (Array<U32> & List<&2, CovLine>):
843  (a, (order, acc)) = st
844  match n:
845    case 0n: (a, (order, acc))
846    case 1n+d: soa.lines.go(soa.line.idx(Array.get(U32, order, k), a, acc), d, (k - 1 : U32))

Uses (11)

Used by (1)