Serve.Serve.path: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/serve.bend as Serve
Lines 57-59 of bend-kube-runtime@0.2.0.0/src/serve.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/serve.bend&start_line=57&end_line=59

import Base

# The request line's path.
def Serve.path(req: String) -> String:
  Serve.path.go(String.split(String.trim(Serve.first_line(req)), ' '))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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.trim
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/serve.bend&name=Serve.first_line
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/serve.bend&name=Serve.path.go