def rb.len.cut

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

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

1181def rb.len.cut(parts: List<&1, Bytes.Bytes>, +len: U32, +left: U32, r: Bytes.Bytes & Bytes.Bytes) -> Bf:
1182  (piece, data) = r
1183  Bf{RbDone{}, Con{data, parts}, bytes.snd(Bytes.slice(piece, left, (len - left : U32)))}