~/jendhub

def read_at.range.valid

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

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

320def read_at.range.valid(offset: Nat, max: Nat) -> Bool:
321  ReadAtPolicy.range_valid(Nat.add(4294967295n, 1n), offset, max)

Uses (4)

Used by (1)