~/jendhub

def seek.block.indices.quad

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:583

import mylsm-lsm-store@0.6.0.1/src/scan/ByteBlockReader.bend as ByteBlockReader
import Base
import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs

583def seek.block.indices.quad(value: U32) -> U32 & (U32 & (U32 & U32)):
584  seek.block.indices.quad.result(Fs.read_at.nat.clone.triple(U32.to_nat(value)))

Uses (5)

Used by (1)