type Run
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
17# A run of cells [x0, x1) of one nonzero coverage value in a row.
18type Run is Data:
19 Run{x0: U32, x1: U32, value: F32}
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
17# A run of cells [x0, x1) of one nonzero coverage value in a row.
18type Run is Data:
19 Run{x0: U32, x1: U32, value: F32}