Walk.settle: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/daemon/walk.bend as Walk
Lines 263-268 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=263&end_line=268

import Base
import cswap-bend-cli@0.1.0.0/daemon/tick.bend as Tk

def settle(+w: W, mv: Move) -> Tk.Out:
  match mv:
    case MDone{o}:
      o
    case MRetry{tr}:
      gave_up(tr, Tk.idle_out(w_env(w), w_ts(w), False{}), w_ts(w))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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/tick.bend&name=idle_out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&name=Move
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&name=W
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&name=gave_up
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&name=w_env
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/daemon/walk.bend&name=w_ts