Algo.go.auto: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/algo.bend as Algo
Lines 96-102 of cswap-bend-cli@0.1.0.0/policy/algo.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/algo.bend&start_line=96&end_line=102

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/decide.bend as D
import cswap-bend-cli@0.1.0.0/policy/safe.bend as SF

# At limit ignores the cooldown; a proactive switch honours it.
def go.auto(+a: Nat, +algo: SF.Algo, +via: Via, +e: D.Env) -> T.Decision:
  match a:
    case 0n:
      go.pick(algo, via, a, e)
    case 1n+p:
      go.cool(D.in_cooldown(D.st.last_at(D.env.st(e)), D.env.now(e), D.cfg.cooldown(D.env.cfg(e))), algo, via, a, e)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/algo.bend&name=Via
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/algo.bend&name=go.cool
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/algo.bend&name=go.pick
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=Env
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=cfg.cooldown
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=env.cfg
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=env.now
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=env.st
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=in_cooldown
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=st.last_at
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/safe.bend&name=Algo
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Decision