type Halves
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
1057# A row's runs cut at mid into the left and right halves, with the row's
1058# uniform value over [x0, x1): 0 for no runs, the value of a single run that
1059# spans the columns, -1 otherwise.
1060type Halves is Data:
1061 Halves{value: F32, left: List<&2, Run>, right: List<&2, Run>}