def table

ezx@1.11.0.0 · src/lock/plan.bend:229

import ezx@1.11.0.0/src/lock/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/ledger/manifest.bend as M

229# the table of names a lock resolves names by: those ez.toml records, each
230# with the hash beside it, first, then those the answers resolve, the lock
231# being rewritten's before the hub's
232def table(+led: M.Read, js: List<&2, W.Judged>) -> List<&2, L.Name>:
233  List.append(&2, L.Name, L.ledger.names(led), W.names.of(js))

Uses (7)

Used by (4)