Url.path.of: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/url.bend as Url
Lines 52-60 of emerging-ezhttp@0.21.0.0/src/url.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/url.bend&start_line=52&end_line=60

import Base

# the path a url asked for, "/" when it named none. The leading slash ended
# the authority, so it is put back. Absolute-path form matches RFC 3986
# path-absolute / path-abempty used with an authority (§3.3).
def path.of(ps: List<&2, String>) -> String:
  match ps:
    case []:
      "/"
    case h <> t:
      "/" ++ String.join(t, "/")

Uses (4):
  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.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join