ResourceOptions.readers.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 237-245 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=237&end_line=245

import Base

def readers.valid(limits: ReaderLimits) -> Bool:
  match limits:
    case ReaderLimits{snapshots, cursors, cursors_per_snapshot,
      retained_root_bytes, retired_files, index_page_bytes,
      index_buffer_bytes, restore_bytes}:
      cursor.limits.valid(cursors, cursors_per_snapshot) &&
        retained.limits.valid(snapshots, retained_root_bytes, retired_files) &&
        index.limits.valid(index_page_bytes, index_buffer_bytes) &&
        bounded(restore_bytes, 67108864)

Uses (7):
  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=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=ReaderLimits
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=bounded
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=cursor.limits.valid
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=index.limits.valid
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=retained.limits.valid