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

import Base

def path.extension.go(rev: List<&2, String>) -> String:
  match rev:
    case Nil{}:
      ""
    case Con{ext, Nil{}}:
      ""
    case Con{ext, Con{prev, rest}}:
      path.extension.fin(String.is_empty(prev) && List.is_empty(&2, String, rest),
        ext)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.is_empty
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=bend-kit-files@0.3.1.0/files.bend&name=path.extension.fin