def paths.ok

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

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

381# whether no file path of a package holds `=`
382def paths.ok(fs: List<&2, K.Item>) -> Bool:
383  match fs:
384    case []:
385      True{}
386    case K.Item{at, _sum} <> t:
387      +rest = paths.ok(t)
388      Bool.and(path.eqless(at), rest)