Lock.tries: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/lock.bend as Lock
Lines 59-61 of cswap-bend-cli@0.1.0.0/lock.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/lock.bend&start_line=59&end_line=61

import Base

# Attempts that fit in the timeout: the first one, then one per 100 ms.
def tries(timeout_ms: U32) -> Nat:
  U32.to_nat((timeout_ms / poll_ms() : U32))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/lock.bend&name=poll_ms