def soa.line.x0
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
828def soa.line.x0(got: Array<F32> & F32, +base: U32, acc: List<&2, CovLine>) -> Array<F32> & List<&2, CovLine>:
829 (a, x0) = got
830 soa.line.y0(Array.get(F32, a, (base + 1 : U32)), x0, base, acc)