def with_slice

bend-kit-http2@0.4.0.0 · http2.bend:51

import bend-kit-http2@0.4.0.0/http2.bend as Http2

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

51def with_slice(-R: Type, r: Bytes.Bytes & Bytes.Bytes, k: Bytes.Bytes -> Bytes.Bytes -> R) -> R:
52  (b, part) = r
53  k(b, part)

Uses (3)

Used by (5)