~/jendhub

def tools.ok

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

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

412# whether every tool pin can be written
413def tools.ok(ts: List<&2, M.Tool>) -> Bool:
414  match ts:
415    case []:
416      True{}
417    case h <> t:
418      +rest = tools.ok(t)
419      Bool.and(clean.all(tool.values(h)), rest)

Uses (6)

Used by (1)