Files.path.norm.fin: def of bend-kit-files@0.3.1.0
Import: import bend-kit-files@0.3.1.0/files.bend as Files
Lines 71-80 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=71&end_line=80

import Base

def path.norm.fin(abs: Bool, body: String) -> String:
  match abs:
    case True{}:
      "/" ++ body
    case False{}:
      match body:
        case SNil{}:
          "."
        case SCon{h, t}:
          SCon{h, t}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append