def bytes

bend-kit-property@0.4.0.0 · shrink.bend:166

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

166# Bytes is affine, so this never copies b: it reads the octets out once and builds each
167# candidate as a fresh buffer, shrinking the octets as a list with bytes toward 0.
168def bytes(b: Bytes.Bytes) -> List<&1, Bytes.Bytes>:
169  bytes.of(list(~U32, ~u32, bytes.codes(Bytes.to_string(b))))