def pins
ezx@1.11.0.0 · src/lock/up.bend:1265
import ezx@1.11.0.0/src/lock/up.bend as Up
import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
1265
1266def pins(dd: Deps, tt: Tools, +rs: List<&2, Reply>, +old: M.Manifest) -> Next:
1267 Deps{ds, ss, es, dm, dsy, dtr, dasks, +dbad} = dd
1268 Tools{ts, tm, tsy, tasks, +tbad} = tt
1269 pins.bad(Bool.and(String.is_empty(dbad), String.is_empty(tbad)),
1270 Bool.pick(String, String.is_empty(dbad), tbad, dbad),
1271 List.append(&2, Ask, dasks, tasks), rs, old,
1272 Deps{ds, ss, es, dm, dsy, dtr, [], ""}, Tools{ts, tm, tsy, [], ""})