def take
import bend-kit-http2@0.4.0.0/hpack.bend as Hpackimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
155def take(c: Cursor) -> Maybe<&1, Cursor & U32>:
156 Cursor{b, +at, +length} = c
157 take.of(Bytes.get(b, at), at, length)
import bend-kit-http2@0.4.0.0/hpack.bend as Hpackimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
155def take(c: Cursor) -> Maybe<&1, Cursor & U32>:
156 Cursor{b, +at, +length} = c
157 take.of(Bytes.get(b, at), at, length)