ResourceOptions.index.limits.valid: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend as ResourceOptions
Lines 231-235 of mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&start_line=231&end_line=235

import Base

def index.limits.valid(+index_page_bytes: U32,
  +index_buffer_bytes: U32) -> Bool:
  bounded(index_page_bytes, 16384) &&
    bounded(index_buffer_bytes, 65536) &&
    U32.is_le(index_page_bytes, index_buffer_bytes)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=bounded