Fs.read_at.range.valid: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
Lines 320-321 of mylsm-lsm-store@0.6.0.1/src/Fs.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Fs.bend&start_line=320&end_line=321

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

def read_at.range.valid(offset: Nat, max: Nat) -> Bool:
  ReadAtPolicy.range_valid(Nat.add(4294967295n, 1n), offset, 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.add
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ReadAtPolicy.bend&name=range_valid