Cover.Halves: type of gralha-coverage@0.1.0.1
Import: import gralha-coverage@0.1.0.1/cover.bend as Cover
Lines 1057-1061 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=1057&end_line=1061

import Base

# A row's runs cut at mid into the left and right halves, with the row's
# uniform value over [x0, x1): 0 for no runs, the value of a single run that
# spans the columns, -1 otherwise.
type Halves is Data:
  Halves{value: F32, left: List<&2, Run>, right: List<&2, Run>}

Uses (3):
  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=gralha-coverage@0.1.0.1/cover.bend&name=Run