CursorOpenCodec.encode.range: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend as CursorOpenCodec
Lines 43-50 of mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend&start_line=43&end_line=50

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

# Encodes one full range request with an owner snapshot token.
def encode.range(
  snapshot_id: U32,
  lower: Maybe<&1, Bytes.Bytes>,
  upper: Maybe<&1, Bytes.Bytes>
) -> Bytes.Bytes:
  Bytes.concat([Protocol.snapshot.id.bytes(snapshot_id),
    Protocol.u32.bytes(0), bound.encode(lower), bound.encode(upper)])

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=concat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CursorOpenCodec.bend&name=bound.encode
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=snapshot.id.bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=u32.bytes