def lines.add

gralha-coverage@0.1.0.1 · cover.bend:1263

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

1263def lines.add(l: CovLines, +ax: F32, +ay: F32, +bx: F32, +by: F32) -> CovLines:
1264  CovLines{xs, x0, y0, x1, y1, n} = l
1265  CovLines{Con{CovLine{ax, ay, bx, by}, xs}, U.min(x0, U.min(ax, bx)), U.min(y0, U.min(ay, by)), U.max(x1, U.max(ax, bx)), U.max(y1, U.max(ay, by)), (n + 1 : U32)}