~/jendhub

def names

ezx@1.11.0.0 · src/pub/plan.bend:792

import ezx@1.11.0.0/src/pub/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/pub/world.bend as PW
import ezx@1.11.0.0/src/lock/lock.bend as L

792# every name the lock resolves, then every one the ledger records with the
793# hash it named when it was added
794def names(+world: PW.World) -> List<&2, L.Name>:
795  List.append(&2, L.Name, L.names.read(lock(world)), L.ledger.names(parsed(world)))

Uses (8)

Used by (1)