Path.norm.fin: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pkg/path.bend as Path
Lines 83-86 of ezx@1.11.0.0/src/pkg/path.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pkg/path.bend&start_line=83&end_line=86

import Base

# the components a normalisation kept, in order
def norm.fin(st: Walk) -> String:
  Walk{abs, out} = st
  norm.text(abs, String.join(List.reverse(&2, String, out), "/"))

Uses (5):
  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.join
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/path.bend&name=Walk
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/path.bend&name=norm.text