Usage.retry.fail: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/usage.bend as Usage
Lines 81-86 of cswap-bend-cli@0.1.0.0/usage.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&start_line=81&end_line=86

import Base

def retry.fail(e: Maybe<&2, String>, consumed: Maybe<&2, String>, +cred: String, upd: Maybe<&2, String>) -> IO(Fetched):
  match e:
    case Some{+k}:
      done(out.kind(retry.k(k), retry.struck(k, Maybe.default(&2, String, consumed, cred))), upd)
    case None{}:
      done(out.kind("refresh-failed", None{}), upd)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.default
  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/usage.bend&name=Fetched
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&name=done
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&name=out.kind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&name=retry.k
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage.bend&name=retry.struck