def loose.neg
import ezx@1.11.0.0/src/ledger/ignore.bend as Ignoreimport Base
73# an exception: the re-included library directory, or one tree under it
74def loose.neg(+pat: String) -> Rule:
75 Bool.pick(Rule, String.eq(pat, ".ez/lib"), Lib{},
76 loose.under(String.starts_with(pat, ".ez/lib/"), String.drop(pat, 8n)))