~/jendhub

def read_at.pack.buffer.length

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

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

224def read_at.pack.buffer.length(
225  values: List<&2, U32>,
226  lengths: Nat & Nat,
227  buf: Array<U32>
228) -> StorageBytes.Bytes:
229  match lengths:
230    case (fuel, capacity):
231      read_at.pack.go(fuel, values,
232        StorageBytes.Bytes{U32.from_nat(capacity), buf}, 0)

Uses (9)

Used by (1)