Paths.base: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/paths.bend as Paths
Lines 16-18 of bolt@1.27.0.0/src/paths.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/paths.bend&start_line=16&end_line=18

import Base

# a path's last segment
def base(path: String) -> String:
  base.go(String.split(path, '/'), "")

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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=bolt@1.27.0.0/src/paths.bend&name=base.go