def edits.of
import ezx@1.11.0.0/src/lock/plan.bend as Planimport Base
import ezx@1.11.0.0/src/lock/up.bend as Up
902# the files the upgrade writes, in order, ahead of what follows
903def edits.of(es: List<&2, Up.Edit>, rest: List<&2, Effect>) -> List<&2, Effect>:
904 match es:
905 case []:
906 rest
907 case Up.Edit{at, text} <> t:
908 Write{at, text} <> edits.of(t, rest)