def probes.name
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
import ezx@1.11.0.0/src/lock/lock.bend as L
805# each name, with the hash the lock or the ledger resolves it to
806def probes.name(+ns: List<&2, L.Name>, vs: List<&2, String>) -> List<&2, Probe>:
807 match vs:
808 case []:
809 []
810 case +h <> t:
811 ProbeName{h, L.name.find(ns, h)} <> probes.name(ns, t)