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

import Base

# an exception: the re-included library directory, or one tree under it
def loose.neg(+pat: String) -> Rule:
  Bool.pick(Rule, String.eq(pat, ".ez/lib"), Lib{},
    loose.under(String.starts_with(pat, ".ez/lib/"), String.drop(pat, 8n)))

Uses (7):
  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.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.starts_with
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=Rule
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=loose.under