Files.path.file_name: def of bend-kit-files@0.3.1.0
Import: import bend-kit-files@0.3.1.0/files.bend as Files
Lines 103-105 of bend-kit-files@0.3.1.0/files.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-files@0.3.1.0/files.bend&start_line=103&end_line=105

import Base

# The last segment of the normalized path; "" for "/" and ".".
def path.file_name(p: String) -> String:
  path.file_name.fin(List.last(&2, String, String.split(path.normalize(p), '/')))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.last
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.split
  https://jend.leeeet.dev/definition.txt?path=bend-kit-files@0.3.1.0/files.bend&name=path.file_name.fin
  https://jend.leeeet.dev/definition.txt?path=bend-kit-files@0.3.1.0/files.bend&name=path.normalize