type Take
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
300# Lines from the sorted pending list whose top the scanline sy has reached.
301type Take is Data:
302 Take{done: Bool, pending: List<&2, CovLine>, acc: List<&2, Act>}
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
300# Lines from the sorted pending list whose top the scanline sy has reached.
301type Take is Data:
302 Take{done: Bool, pending: List<&2, CovLine>, acc: List<&2, Act>}