OptionsCodec.fields.of.options: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend as OptionsCodec
Lines 79-99 of mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OptionsCodec.bend&start_line=79&end_line=99

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

def fields.of.options(options: ResourceOptions.Options) -> List<&2, U32>:
  match options:
    case ResourceOptions.Options{transport, queue, readers}:
      match transport:
        case ResourceOptions.TransportLimits{connections, frame_bytes,
          receive_bytes, response_bytes, frame_timeout_ms, response_timeout_ms}:
          match queue:
            case ResourceOptions.QueueLimits{requests, queue_bytes,
              queue_timeout_ms}:
              match readers:
                case ResourceOptions.ReaderLimits{snapshots, cursors,
                  cursors_per_snapshot, retained_root_bytes, retired_files,
                  index_page_bytes, index_buffer_bytes, restore_bytes}:
                  Con{restore_bytes, Con{index_buffer_bytes,
                    Con{index_page_bytes, Con{retired_files,
                    Con{retained_root_bytes, Con{cursors_per_snapshot,
                    Con{cursors, Con{snapshots, Con{queue_timeout_ms,
                    Con{queue_bytes, Con{requests, Con{response_timeout_ms,
                    Con{frame_timeout_ms, Con{response_bytes,
                    Con{receive_bytes, Con{frame_bytes,
                    Con{connections, Nil{}}}}}}}}}}}}}}}}}}

Uses (6):
  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=Options
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&name=QueueLimits
  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=TransportLimits