DbLockPolicy.busy_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 86-88 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=86&end_line=88

import Base

# Chooses a bounded sleep or timeout after a contended lock attempt.
def busy_wait_decision(elapsed_ms: Nat, timeout_ms: Nat, backoff_ms: Nat) -> WaitDecision:
  busy_wait.remaining(Nat.sub(timeout_ms, elapsed_ms), backoff_ms)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  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.remaining