Path.tail: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pkg/path.bend as Path
Lines 146-149 of ezx@1.11.0.0/src/pkg/path.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pkg/path.bend&start_line=146&end_line=149

import Base

# the last `n` components of a path
def tail(path: String, count: Nat) -> String:
  String.join(List.reverse(&2, String,
    List.take(&2, String, List.reverse(&2, String, String.split(path, '/')), count)), "/")

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.take
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.split