def soa.line.x1
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
815# The lines back as a list in order, for the sub-scanline scans.
816def soa.line.x1(got: Array<F32> & F32, +x0: F32, +y0: F32, +y1: F32, acc: List<&2, CovLine>) -> Array<F32> & List<&2, CovLine>:
817 (a, x1) = got
818 (a, Con{CovLine{x0, y0, x1, y1}, acc})