Retry.plan.at: def of bend-kit-retry@0.3.0.0 Import: import bend-kit-retry@0.3.0.0/retry.bend as Retry Lines 229-231 of bend-kit-retry@0.3.0.0/retry.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-retry@0.3.0.0/retry.bend&start_line=229&end_line=231 import Base def plan.at(+w: Nat, b: Budget, +now: Nat) -> Plan: Budget{left, d} = b plan.left(left, w, d, now) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=Budget https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=Plan https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=plan.left