def cover.line
import gralha-svg-render@0.1.0.1/svg.bend as Svgimport Base
import gralha-coverage@0.1.0.1/cover.bend as Cov
4091def cover.line(a: Point, b: Point) -> Cov.CovLine:
4092 Point{ax, ay} = a
4093 Point{bx, by} = b
4094 Cov.CovLine{ax, ay, bx, by}