def names.ok

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

import Base
import ezx@1.11.0.0/src/lock/lock.bend as L

481# whether every name the lock records can be written so that it reads back:
482# a name is written as a quoted key and its hash as a value, the way a
483# package's file is, so it is held to what a file is held to
484def names.ok(ns: List<&2, L.Name>) -> Bool:
485  +fs = L.name.files(ns)
486  Bool.and(paths.ok(fs), clean.all(file.values(fs)))