~/jendhub

def sv.split

bend-kit-http@0.38.2.0 · http.bend:5800

import bend-kit-http@0.38.2.0/http.bend as Http
import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

5800def sv.split(+max: Nat, +hlen: U32, +len: U32, r: Bytes.Bytes & Bytes.Bytes) -> Turn:
5801  (buf, hb) = r
5802  +head = Bytes.to_string(hb)
5803  sv.parsed(max, req.v11(head), bytes.snd(Bytes.slice(buf, hlen, (len - hlen : U32))), parse.got(head))

Uses (13)

Used by (1)