Plan.sync: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/plan.bend as Plan
Lines 1162-1171 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=1162&end_line=1171

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

# `ez tool sync` over the project's ledger and lock. With no ledger there is
# no project to sync, and it is refused, as `ez lock` and `ez fetch` refuse
# one.
def sync(ledger: Maybe<&2, String>, lock: Maybe<&2, String>) -> Sync:
  match ledger:
    case None{}:
      SyncNo{"ez: no ez.toml here; ez tool sync installs the tools a project's " ++
        "ledger pins, and ez init makes one"}
    case Some{text}:
      sync.read(M.parse(text), lock)

Uses (6):
  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.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=parse
  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.read