Cover.XState: type of gralha-coverage@0.1.0.1
Import: import gralha-coverage@0.1.0.1/cover.bend as Cover
Lines 910-917 of gralha-coverage@0.1.0.1/cover.bend: https://jend.leeeet.dev/read.txt?path=gralha-coverage@0.1.0.1/cover.bend&start_line=910&end_line=917

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=Run