~/jendhub

def range_valid

mylsm-lsm-store@0.6.0.1 · src/ReadAtPolicy.bend:3

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

3# Accepts an interval whose endpoint does not exceed its address-space limit.
4def range_valid(limit: Nat, offset: Nat, max: Nat) -> Bool:
5  Nat.is_le(offset, Nat.sub(limit, max))

Uses (4)

Used by (1)