def ok

ezx@1.11.0.0 · src/ws/joint.bend:344

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

344# whether the members can be joined: every one names the root's hub, every
345# declaration of a dependency and of a tool agrees with the first, and every
346# git source is pinned at one commit and one tag
347def ok(+root: M.Manifest, +ms: List<&2, Member>) -> Bool:
348  Bool.and(hubs(root.hub(root), ms),
349    Bool.and(Bool.and(agree(all.deps(root, ms)), pins(all.deps(root, ms))),
350      tools.agree(all.tools(root, ms))))