Walk.gave_up3: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/walk.bend as Walk
Lines 120-127 of cswap-bend-cli@0.1.0.0/daemon/walk.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&start_line=120&end_line=127

import Base
import cswap-bend-cli@0.1.0.0/daemon/events.bend as Ev
import cswap-bend-cli@0.1.0.0/daemon/cadence.bend as Cad
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

def gave_up3(+nothing_systemic: Bool, +transient: Bool, +sy: String, +o: Tk.Out, +ts: String) -> Tk.Out:
  match nothing_systemic transient:
    case False{} _:
      failed_with(o, ts, "could not freshen: " ++ sys_message(sy))
    case True{} True{}:
      failed_with(o, ts, "could not freshen any candidate (network?)")
    case True{} False{}:
      with_info(with_events(o, [Ev.no_switch(ts, "no-viable-target", "")]), info_of(Cad.Blocked{}, None{}))

Uses (13):
  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=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/cadence.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/events.bend&name=no_switch
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/tick.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&name=failed_with
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&name=info_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&name=sys_message
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&name=with_events
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&name=with_info