def bound.present

mylsm-lsm-store@0.6.0.1 · src/coordinator/CursorOpenCodec.bend:31

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

31# Encodes one present bound as a length followed by its raw bytes.
32def bound.present(measured: Bytes.Bytes & U32) -> Bytes.Bytes:
33  match measured:
34    case (value, length):
35      Bytes.concat([Protocol.u32.bytes(length), value])