~/jendhub

def plan.left

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

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

222def plan.left(left: Nat, +w: Nat, d: Maybe<&2, Nat>, +now: Nat) -> Plan:
223  match left:
224    case 0n:
225      PlanStop{}
226    case 1n+k:
227      Bool.pick(Plan, Budget.late(Nat.add(now, w), d), PlanStop{}, PlanWait{w})

Uses (6)

Used by (1)