Path.norm: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pkg/path.bend as Path
Lines 99-103 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=99&end_line=103

import Base

# a path with `.` and an inner `..` resolved by text. A leading `..` survives,
# because a module reached through one re-roots the package rather than
# escaping it.
def norm(+path: String) -> String:
  norm.fin(norm.walk(String.split(path, '/'), Walk{String.starts_with(path, "/"), []}))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Base/base.bend&name=String.starts_with
  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.fin
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/path.bend&name=norm.walk