def scan.rows

gralha-coverage@0.1.0.1 · cover.bend:585

import Base

585# The rows of runs (top first) of the lines, sorted by top, over a width by height grid.
586def scan.rows(+h: U32, +sub: U32, sorted: List<&2, CovLine>, +even: Bool, +w: U32) -> List<&2, List<&2, Run>>:
587  scan.done(scan.rows.go(scan.start(take.go(Take{False{}, sorted, Nil{}}, (0.5 / U32.to_f32(sub) : F32))), U32.to_nat(h), 0, sub, even, w))
588
589@unsafe