DbLock.WaitState: type of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/DbLock.bend as DbLock
Lines 20-37 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=20&end_line=37

import Base

# Carries file ownership through the single recursive wait state machine.
type WaitState is Type:
  TryLock{file: File, started_us: Nat, timeout_ms: Nat, backoff_ms: U32,
    operation: String, path: String}
  LockAttempt{pair: File & Result<&1, &1, U32 & String, Unit>,
    started_us: Nat, timeout_ms: Nat, backoff_ms: U32, operation: String, path: String}
  ReadClock{file: File, started_us: Nat, timeout_ms: Nat, backoff_ms: U32,
    operation: String, path: String, purpose: WaitPurpose}
  ClockSample{file: File, started_us: Nat, timeout_ms: Nat, backoff_ms: U32,
    operation: String, path: String, purpose: WaitPurpose,
    result: Result<&1, &1, U32 & String, Nat>}
  Pause{file: File, started_us: Nat, timeout_ms: Nat, backoff_ms: U32,
    operation: String, path: String, duration_ms: U32}
  PauseResult{file: File, started_us: Nat, timeout_ms: Nat, backoff_ms: U32,
    operation: String, path: String,
    result: Result<&1, &1, U32 & String, Unit>}
  WaitFatal{file: File, error: U32 & String, operation: String, path: String}
  WaitExpired{file: File, operation: String, path: String}

Uses (8):
  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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DbLock.bend&name=WaitPurpose