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

import Base

# Merge two descending event lists, larger cells first.
type EvOrder is Data:
  EvOrder{first: CovEv, rest: List<&2, CovEv>, other: List<&2, CovEv>}

Uses (2):
  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=CovEv