type Ins

gralha-coverage@0.1.0.1 · cover.bend:245

import Base

245# Insert into a list descending by cur, after the elements not below it.
246type Ins is Data:
247  Placed{list: List<&2, Act>}
248  Passed{h: Act, t: List<&2, Act>, a: Act}