Packed.packed.sized: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/packed.bend as Packed
Lines 129-136 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=129&end_line=136

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

# a body framed by Content-Length: torn when fewer octets arrived
def packed.sized(st: U32, hs: List<&2, Http.Header>, reason: String,
  b: Bytes.Bytes, +q: U32, +n: Nat, short: Bool) -> Got:
  match short:
    case True{}:
      Torn{"the response body stopped before its Content-Length"}
    case False{}:
      Got{st, hs, reason, packed.copy(b, q, U32.from_nat(n))}

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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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.from_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=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.copy