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

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

# the response to a request with this method, its octets counted
def packed.reply.of(+method: String, r: Bytes.Bytes & U32) -> Got:
  (b, +len) = r
  packed.heads(U32.to_nat(len), String.eq(method, "HEAD"), b, 0, len)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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=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.heads