Ignore.sync: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/ignore.bend as Ignore
Lines 390-396 of ezx@1.11.0.0/src/ledger/ignore.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&start_line=390&end_line=396

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

# the ignore file with the allowlist the ledger calls for. `ez add`,
# `ez remove` and `ez lock --upgrade` write this when it differs from what
# they read.
def sync(ds: List<&2, M.Dep>, +text: String) -> String:
  +was = file.lines(text)
  +out = file.text(lines(ds, was))
  text.out(String.eq(out, file.text(was)), text, out)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=file.lines
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=file.text
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=lines
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=text.out
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Dep