def line.top
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
import gralha-text-scan@0.1.0.1/scan.bend as U
237def line.top(+l: CovLine) -> F32:
238 CovLine{x0, y0, x1, y1} = l
239 U.min(y0, y1)
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
import gralha-text-scan@0.1.0.1/scan.bend as U
237def line.top(+l: CovLine) -> F32:
238 CovLine{x0, y0, x1, y1} = l
239 U.min(y0, y1)