DbLockPolicy.wait_options_valid: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/DbLockPolicy.bend as DbLockPolicy
Lines 103-105 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=103&end_line=105

import Base

# Bounds the public timeout and nonzero backoff before any host effect.
def wait_options_valid(timeout_ms: U32, +backoff_ms: U32) -> Bool:
  U32.is_le(timeout_ms, 60000) && U32.is_lt(0, backoff_ms) && U32.is_le(backoff_ms, 1000)

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.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt