def subs.after
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
539def subs.after(s: Step, pending: List<&2, CovLine>, +sy2: F32, events: List<&2, CovEv>) -> Subs:
540 Step{evs, acc} = s
541 subs.done(take.go(Take{False{}, pending, acc}, sy2), ev.merge(evs, events))