Ignore.lead: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/ignore.bend as Ignore
Lines 50-53 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=50&end_line=53

import Base

# one leading `/`, which anchors a pattern to the file's own directory and
# so changes nothing for a `.gitignore` at the root
def lead(+pat: String) -> String:
  Bool.pick(String, String.starts_with(pat, "/"), String.drop(pat, 1n), pat)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.starts_with