def subs.done
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
535def subs.done(t: Take, events: List<&2, CovEv>) -> Subs:
536 Take{done, pending, acc} = t
537 Subs{act.reverse(acc, Nil{}), pending, events}
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
535def subs.done(t: Take, events: List<&2, CovEv>) -> Subs:
536 Take{done, pending, acc} = t
537 Subs{act.reverse(acc, Nil{}), pending, events}