DbLockPolicy.wait_decision: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/DbLockPolicy.bend as DbLockPolicy
Lines 90-101 of mylsm-lsm-store@0.6.0.1/src/DbLockPolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/DbLockPolicy.bend&start_line=90&end_line=101

import Base

# Selects acquired, retry, timeout, or fatal handling from raw lock facts.
def wait_decision(
  acquired: Bool,
  busy: Bool,
  elapsed_ms: Nat,
  timeout_ms: Nat,
  backoff_ms: Nat
) -> WaitDecision:
  Bool.pick(WaitDecision, acquired, LockAcquired{},
    Bool.pick(WaitDecision, busy,
      busy_wait_decision(elapsed_ms, timeout_ms, backoff_ms),
      LockFatal{}))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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/DbLockPolicy.bend&name=WaitDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/DbLockPolicy.bend&name=busy_wait_decision