def doc.named

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

import Base
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/ledger/manifest.bend as M

627# the names settled: a name that stops the lock stops it, and otherwise the
628# lock records each name it needed with the hash the table gives it
629def doc.named(
630  clean: Bool,
631  why: String,
632  asks: List<&2, String>,
633  +ns: List<&2, L.Name>,
634  +need: List<&2, String>,
635  +hub: String,
636  packs: List<&2, L.Pack>,
637  ts: List<&2, M.Tool>
638) -> Doc:
639  match clean:
640    case True{}:
641      doc.asks(asks, L.name.pairs(ns, need), hub, packs, ts)
642    case False{}:
643      Stop{why}