ReadAtPolicy.range_valid: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ReadAtPolicy.bend as ReadAtPolicy
Lines 3-5 of mylsm-lsm-store@0.6.0.1/src/ReadAtPolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ReadAtPolicy.bend&start_line=3&end_line=5

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub