ResourceOptions.fields.readers: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend as ResourceOptions
Lines 60-71 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=60&end_line=71

import Base

def fields.readers(
  readers: ReaderLimits,
  tail: List<&2, U32>
) -> List<&2, U32>:
  match readers:
    case ReaderLimits{snapshots, cursors, cursors_per_snapshot,
      retained_root_bytes, retired_files, index_page_bytes,
      index_buffer_bytes, restore_bytes}:
      Con{snapshots, Con{cursors, Con{cursors_per_snapshot,
        Con{retained_root_bytes, Con{retired_files,
          Con{index_page_bytes, Con{index_buffer_bytes,
            Con{restore_bytes, tail}}}}}}}}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=ReaderLimits