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