BlockIndexFormatPolicy.interval_valid: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/BlockIndexFormatPolicy.bend as BlockIndexFormatPolicy
Lines 44-47 of mylsm-lsm-store@0.6.0.1/src/scan/BlockIndexFormatPolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/BlockIndexFormatPolicy.bend&start_line=44&end_line=47

import Base

# Checks the index/footer interval without underflow or header overlap.
def interval_valid(file_size: Nat, index_length: Nat) -> Bool:
  interval_valid.copies(nat.clone.pair(file_size),
    nat.clone.pair(index_length))

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=mylsm-lsm-store@0.6.0.1/src/scan/BlockIndexFormatPolicy.bend&name=interval_valid.copies
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/BlockIndexFormatPolicy.bend&name=nat.clone.pair