def xscan.push
gralha-coverage@0.1.0.1 · cover.bend:1008
import gralha-coverage@0.1.0.1/cover.bend as Cover
import Base
1008def xscan.push(fixed: List<&2, Run> & List<&2, Piece>, buf: (Array<F32> & Array<U32>) & (U32 & U32), lines: Array<F32> & Array<U32>, rows: List<&2, List<&2, Run>>, +k: U32, +n: U32, +sub: U32) -> ((Array<F32> & Array<U32>) & (Array<F32> & Array<U32>)) & XData:
1009 (runs, active) = fixed
1010 (buf, (lo, hi)) = buf
1011 ((buf, lines), XData{lo, hi, Con{runs, rows}, active, k, n, sub})