def doc.asks

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

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

611# a walk with nothing left to ask is the lock. One that still has a question
612# is a World the interpreter did not finish, and is refused rather than
613# guessed at.
614def doc.asks(
615  asks: List<&2, String>,
616  +ns: List<&2, L.Name>,
617  +hub: String,
618  +packs: List<&2, L.Pack>,
619  +ts: List<&2, M.Tool>
620) -> Doc:
621  match asks:
622    case []:
623      doc.lockable(lockable.named(ns, packs, ts, hub), ns, hub, packs, ts)
624    case h <> _t:
625      Stop{"ez: " ++ h ++ " was never read, so there is nothing to lock it from"}