def name.part
import ezx@1.11.0.0/src/fetch/plan.bend as Planimport 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
587# where one name of the lock stands
588def name.part(+rs: List<&2, F.Reply>, name: L.Name) -> Nm:
589 L.Name{+nv, +hash} = name
590 name.valid(L.name.valid(L.Name{nv, hash}), rs, nv, hash)