Joint.ok: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/joint.bend as Joint
Lines 344-350 of ezx@1.11.0.0/src/ws/joint.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/joint.bend&start_line=344&end_line=350

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

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

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Manifest
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Member
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=agree
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=all.deps
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=all.tools
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=hubs
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=pins
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=root.hub
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=tools.agree