Plan.doc.lockable: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/lock/plan.bend as Plan
Lines 597-609 of ezx@1.13.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/lock/plan.bend&start_line=597&end_line=609

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

# a lock that can be written, written, with the names it resolved
def doc.lockable(
  ok: Bool,
  +ns: List<&2, L.Name>,
  +hub: String,
  packs: List<&2, L.Pack>,
  ts: List<&2, M.Tool>
) -> Doc:
  match ok:
    case True{}:
      Doc{L.render.names(ns, ts, hub, packs)}
    case False{}:
      Stop{lockable.why.named(ns, packs)}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ledger/manifest.bend&name=Tool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/lock.bend&name=Name
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/lock.bend&name=Pack
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/lock.bend&name=render.names
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/plan.bend&name=Doc
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/plan.bend&name=lockable.why.named