def line.bottom
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
import gralha-text-scan@0.1.0.1/scan.bend as U
734def line.bottom(+l: CovLine) -> F32:
735 CovLine{x0, y0, x1, y1} = l
736 U.max(y0, y1)
Uses (3)
Used by (0)
No other definition uses this definition.