Decide.choose.retry: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/decide.bend as Decide
Lines 242-249 of cswap-bend-cli@0.1.0.0/policy/decide.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&start_line=242&end_line=249

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/pick.bend as K

# Rank with the bar; if that leaves nothing and the barred account has
# recovered, rank again without it.
def choose.retry(+go: Bool, +t: T.Trigger, +as: List<&2, T.Account>, +rk0: K.Rk, +next: T.Decision) -> T.Decision:
  match go:
    case True{}:
      sw.pick(K.rk.bar(rk0, None{}), as, t, next)
    case False{}:
      next

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=sw.pick
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/pick.bend&name=Rk
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/pick.bend&name=rk.bar
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Account
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Trigger