Body.octets.chars: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/body.bend as Body
Lines 36-42 of emerging-ezhttp@0.21.0.0/src/body.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/body.bend&start_line=36&end_line=42

import Base

# octets, one character each (each 0..255), from a list of their values
def octets.chars(bs: List<&2, U32>) -> String:
  match bs:
    case []:
      ""
    case h <> t:
      SCon{Char.from_u32(h), octets.chars(t)}

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