Manifest.read.name.buffer.copies: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifest
Lines 252-263 of mylsm-lsm-store@0.6.0.1/src/Manifest.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&start_line=252&end_line=263

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

def read.name.buffer.copies(
  limit: Bytes.CursorLimit,
  len: U32,
  +offset: U32,
  start: U32,
  end: U32,
  copies: Bytes.Bytes & Bytes.Bytes
) -> Bytes.Cursor & Maybe<&2, String>:
  match copies:
    case (cursor_bytes, slice_bytes):
      read.name.checked(Bytes.Cursor{cursor_bytes, offset, start, end}, limit,
        bytes.slice.second(Bytes.slice(slice_bytes, offset, len)))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=Cursor
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=CursorLimit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=slice
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&name=bytes.slice.second
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Manifest.bend&name=read.name.checked