Tick.backoff_iso: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tick
Lines 166-169 of cswap-bend-cli@0.1.0.0/daemon/tick.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&start_line=166&end_line=169

import Base
import cswap-bend-cli@0.1.0.0/clock.bend as Clock
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

def backoff_iso(+u: T.Usage, +now: Nat) -> Maybe<&2, String>:
  match u:
    case T.Usage{s, five, fr, seven, sr, ss, fa, +bo, er, fl, np, pi, ad, hu, cu, se}:
      sel_bo(Nat.is_gt(bo, now), Some{Clock.iso8601_utc(secs(bo))}, None{})

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/clock.bend&name=iso8601_utc
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=secs
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=sel_bo
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Usage