Plan.name.part: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/fetch/plan.bend as Plan
Lines 587-590 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=587&end_line=590

import Base
import ezx@1.11.0.0/src/fetch/world.bend as F
import ezx@1.11.0.0/src/lock/lock.bend as L

# where one name of the lock stands
def name.part(+rs: List<&2, F.Reply>, name: L.Name) -> Nm:
  L.Name{+nv, +hash} = name
  name.valid(L.name.valid(L.Name{nv, hash}), rs, nv, hash)

Uses (6):
  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.valid
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=Name
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=name.valid