RequestQueue.peek.front.head: 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 246-256 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=246&end_line=256

import Base

def peek.front.head(
  tail: List<&1, Pending>,
  back: List<&1, Pending>,
  count: Nat,
  bytes: Nat,
  pair: Pending & HeadMetadata
) -> PeekResult:
  match pair:
    case (retained, metadata):
      PeekResult{Queue{Con{retained, tail}, back, count, bytes},
        Some{metadata}}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=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=PeekResult
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&name=Pending
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&name=Queue