Cover.lines.bounds: def of gralha-coverage@0.1.0.1
Import: import gralha-coverage@0.1.0.1/cover.bend as Cover
Lines 1131-1143 of gralha-coverage@0.1.0.1/cover.bend: https://jend.leeeet.dev/read.txt?path=gralha-coverage@0.1.0.1/cover.bend&start_line=1131&end_line=1143

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

def lines.bounds(xs: List<&2, CovLine>, +x0: F32, +y0: F32, +x1: F32, +y1: F32) -> CovBox:
  match xs:
    case Nil{}: CovBox{x0, y0, x1, y1}
    case Con{CovLine{ax, ay, bx, by}, rest}:
      +byDup = by
      +bxDup = bx
      +ayDup = ay
      +axDup = ax
      +lx = U.min(axDup, bxDup)
      +ly = U.min(ayDup, byDup)
      +hx = U.max(axDup, bxDup)
      +hy = U.max(ayDup, byDup)
      lines.bounds(rest, U.min(x0, lx), U.min(y0, ly), U.max(x1, hx), U.max(y1, hy))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=CovBox
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=CovLine
  https://jend.leeeet.dev/definition.txt?path=gralha-text-scan@0.1.0.1/scan.bend&name=max
  https://jend.leeeet.dev/definition.txt?path=gralha-text-scan@0.1.0.1/scan.bend&name=min