type XState
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
910# Reading the runs off the buffer, touched cells only, from hi down to lo: a
911# cell's coverage is the magnitude of its direct area minus the deltas to its
912# right (a row's deltas cancel), clamped to one, and the untouched cells
913# between two touched ones share the magnitude of those deltas. A magnitude
914# past one marks an overlap. Every slot and bitmap word read is cleared, so
915# the buffer is empty for the next row.
916type XState is Data:
917 XState{sum: F32, bad: Bool, upper: U32, acc: List<&2, Run>}