Files.path.extension: def of bend-kit-files@0.3.1.0
Import: import bend-kit-files@0.3.1.0/files.bend as Files
Lines 124-127 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=124&end_line=127

import Base

# The text after the file name's last ".", without the dot. A leading dot
# does not start one: ".bashrc" has none.
def path.extension(p: String) -> String:
  path.extension.go(List.reverse(&2, String, String.split(path.file_name(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.reverse
  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.extension.go
  https://jend.leeeet.dev/definition.txt?path=bend-kit-files@0.3.1.0/files.bend&name=path.file_name