type CovLine
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
8# A directed line in pixel coordinates of the target grid.
9type CovLine is Data:
10 CovLine{x0: F32, y0: F32, x1: F32, y1: F32}
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
8# A directed line in pixel coordinates of the target grid.
9type CovLine is Data:
10 CovLine{x0: F32, y0: F32, x1: F32, y1: F32}