DbLock.wait.deadline.state: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
Lines 213-227 of mylsm-lsm-store@0.6.0.1/src/DbLock.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/DbLock.bend&start_line=213&end_line=227

import Base

# Converts a post-sleep deadline sample into a retry or timeout state.
def wait.deadline.state(
  remaining_ms: Nat,
  file: File,
  started_us: Nat,
  timeout_ms: Nat,
  backoff_ms: U32,
  operation: String,
  path: String
) -> WaitState:
  match remaining_ms:
    case 0n:
      WaitExpired{file, operation, path}
    case 1n+_:
      TryLock{file, started_us, timeout_ms, backoff_ms, operation, path}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/DbLock.bend&name=WaitState