def wants.led

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

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

1191def wants.led(+here: String, +led: M.Read, listing: W.Listing, +js: List<&2, W.Judged>) -> List<&2, W.Ask>:
1192  wants.gap(String.is_empty(need.why(led)), walk.of(led, listing, table(led, js), js), here,
1193    L.ledger.read(led), M.hub_of(led))