def line.bottom

gralha-coverage@0.1.0.1 · cover.bend:734

import gralha-coverage@0.1.0.1/cover.bend as Cover
import 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.