Plan.names.lay: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/fetch/plan.bend as Plan
Lines 616-626 of ezx@1.11.0.0/src/fetch/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&start_line=616&end_line=626

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P

# every names file a fetch writes, ahead of what follows
def names.lay(ms: List<&2, Nm>, rest: List<&2, P.Effect>) -> List<&2, P.Effect>:
  match ms:
    case []:
      rest
    case m <> t:
      match m:
        case NmPut{nv, hash, was}:
          name.put(nv, hash, was, names.lay(t, rest))
        case _:
          names.lay(t, rest)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=Nm
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=name.put
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Effect