~/jendhub

def delay

bend-kit-retry@0.3.0.0 · retry.bend:198

import bend-kit-retry@0.3.0.0/retry.bend as Retry
import Base

198# min(cap, base * 2^n), doubled one step at a time, so no step passes cap.
199def delay(n: Nat, +base: Nat, +cap: Nat) -> Nat:
200  match n:
201    case 0n:
202      Nat.min(base, cap)
203    case 1n+p:
204      +d = delay(p, base, cap)
205      Nat.min(Nat.add(d, d), cap)

Uses (3)

Used by (1)