Pct.pct: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/pct.bend as Pct
Lines 26-33 of emerging-ezhttp@0.21.0.0/src/pct.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/pct.bend&start_line=26&end_line=33

import Base

# bytes as %XX triples, high nibble first, followed by `rest`
def pct(bytes: List<&2, U32>, rest: String) -> String:
  match bytes:
    case []:
      rest
    case +byte <> tail:
      SCon{'%', SCon{hex(U32.shrn(byte, 4n)), SCon{hex(U32.and(byte, 15)),
        pct(tail, rest)}}}

Uses (7):
  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=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/pct.bend&name=hex