RequestQueue.peek.front: 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 258-269 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=258&end_line=269

import Base

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

Uses (8):
  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=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
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&name=peek.front.head
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&name=pending.head.metadata