RequestQueue.pending.head.metadata.values: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend as RequestQueue
Lines 207-232 of mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&start_line=207&end_line=232

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

def pending.head.metadata.values(
  ids: U32 & U32,
  sequences: Nat & Nat,
  deadlines: Nat & Nat,
  byte_counts: Nat & Nat,
  peak_counts: Nat & Nat,
  request_pair: Protocol.Request & U32
) -> Pending & HeadMetadata:
  match ids:
    case (pending_id, metadata_id):
      match sequences:
        case (pending_sequence, metadata_sequence):
          match deadlines:
            case (pending_deadline, metadata_deadline):
              match byte_counts:
                case (pending_bytes, metadata_bytes):
                  match peak_counts:
                    case (pending_peak, metadata_peak):
                      match request_pair:
                        case (request, opcode):
                          (Pending{pending_id, pending_sequence,
                            pending_deadline, pending_bytes, pending_peak,
                            request},
                            HeadMetadata{metadata_id, metadata_sequence,
                              metadata_deadline, opcode, metadata_bytes,
                              metadata_peak})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  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/coordinator/Protocol.bend&name=Request
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&name=HeadMetadata
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&name=Pending