Proxy.Pct.decode: def of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/src/proxy.bend as Proxy
Lines 219-228 of bend-kube-runtime@0.2.0.0/src/proxy.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&start_line=219&end_line=228

import Base
import bend-kube-runtime@0.2.0.0/src/utf8.bend as U

# The bytes of a percent-encoded URL part ("%40" is '@'); a '%' that starts
# no escape stays as it is.
def Pct.decode(s: String) -> List<&2, U32>:
  match s:
    case SNil{}:
      Nil{}
    case SCon{'%', SCon{a, SCon{b, t}}}:
      Pct.esc(a, b, Pct.decode(t))
    case SCon{c, t}:
      U.Utf8.put(Char.to_u32(c), Pct.decode(t))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.to_u32
  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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Pct.esc
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/utf8.bend&name=Utf8.put