~/jendhub

def read.table.size

mylsm-lsm-store@0.6.0.1 · src/SstStreamIo.bend:394

import mylsm-lsm-store@0.6.0.1/src/SstStreamIo.bend as SstStreamIo
import Base
import mylsm-lsm-store@0.6.0.1/src/Sstable.bend as Sstable

394def read.table.size(+path: String, +size: Nat) -> IO(Result<&1, &1, U32 & String, Sstable.Table>):
395  read.table.size.checked(path, size,
396    Nat.is_le(60n, size) && Nat.is_le(size, 4294967295n))

Uses (10)

Used by (1)