def soa.lines
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
852def soa.lines(arrays: Array<F32> & Array<U32>, +n: U32) -> List<&2, CovLine>:
853 (a, order) = arrays
854 soa.lines.done(soa.lines.go((a, (order, {Nil{} : List<&2, CovLine>})), U32.to_nat(n), (n - 1 : U32)))
Uses (11)
Used by (0)
No other definition uses this definition.