def loose.under
import ezx@1.11.0.0/src/ledger/ignore.bend as Ignoreimport Base
65# an exception under `.ez/lib/` names the hash after the prefix
66def loose.under(under: Bool, +rest: String) -> Rule:
67 match under:
68 case True{}:
69 Bool.pick(Rule, String.is_empty(rest), Other{}, Allow{rest})
70 case False{}:
71 Other{}