Packed.packed.body: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/packed.bend as Packed
Lines 138-151 of emerging-ezhttp@0.21.0.0/src/packed.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&start_line=138&end_line=151

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
import emerging-ezhttp@0.21.0.0/src/http.bend as Http

# the octets after the final head, as its framing says
def packed.body(st: U32, hs: List<&2, Http.Header>, reason: String,
  f: Http.Frame, b: Bytes.Bytes, +q: U32, +len: U32) -> Got:
  match f:
    case Http.Bare{}:
      Got{st, hs, reason, Bytes.new(0)}
    case Http.Sized{+n}:
      packed.sized(st, hs, reason, b, q, n,
        Nat.is_lt(U32.to_nat((len - q : U32)), n))
    case Http.Chunked{}:
      packed.chunked(st, hs, reason,
        packed.chunks(U32.to_nat((len - q : U32)), b, q, len, []))
    case Http.Closed{}:
      Got{st, hs, reason, packed.copy(b, q, (len - q : U32))}

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  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.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=new
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&name=Got
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&name=packed.chunked
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&name=packed.chunks
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&name=packed.copy
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/packed.bend&name=packed.sized