~/jendhub

src/ReadAtPolicy.bend

mylsm-lsm-store@0.6.0.1 · 5 lines · 1 definition

1import Base
2
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))