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

import Base

# one trailing `/`, which only narrows a pattern to directories, and every
# path ez names here is one
def trail(+pat: String) -> String:
  Bool.pick(String, String.ends_with(pat, "/"),
    String.take(pat, Nat.sub(String.length(pat), 1n)), pat)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.ends_with
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.take