type EvOrder
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
374# Merge two descending event lists, larger cells first.
375type EvOrder is Data:
376 EvOrder{first: CovEv, rest: List<&2, CovEv>, other: List<&2, CovEv>}
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
374# Merge two descending event lists, larger cells first.
375type EvOrder is Data:
376 EvOrder{first: CovEv, rest: List<&2, CovEv>, other: List<&2, CovEv>}