~/jendhub

def sv.chunk.parts.cons

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

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

5714def sv.chunk.parts.cons(+len: U32, buf: Array<U32>, counted: List<&1, Bytes.Bytes> & Nat) -> List<&1, Bytes.Bytes> & Nat:
5715  (rest, n) = counted
5716  (Con{Bytes.Bytes{len, buf}, rest}, Nat.add(U32.to_nat(len), n))

Uses (9)

Used by (1)