~/jendhub

def read_at.pack.buffer

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:234

import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as StorageBytes

234def read_at.pack.buffer(
235  values: List<&2, U32>,
236  buffer: StorageBytes.Bytes
237) -> StorageBytes.Bytes:
238  match buffer:
239    case StorageBytes.Bytes{len, buf}:
240      read_at.pack.buffer.length(values, read_at.nat.clone(U32.to_nat(len)), buf)

Uses (6)

Used by (1)