Plan.sync.lock: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 1144-1152 of ezx@1.11.0.0/src/tool/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/plan.bend&start_line=1144&end_line=1152

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

# a ledger with pins needs a lock that pins each at a commit
def sync.lock(got: Maybe<&2, String>, +ts: List<&2, M.Tool>) -> Sync:
  match got:
    case None{}:
      Bool.pick(Sync, List.is_empty(&2, M.Tool, ts), Sync{[]},
        SyncNo{"ez: ez.lock.toml is not there"})
    case Some{body}:
      +why = sync.check(ts, body)
      sync.why(String.is_empty(why), why, ts)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Tool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=Sync
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=sync.check
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=sync.why