Algo.go.below: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/algo.bend as Algo
Lines 111-116 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=111&end_line=116

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

def go.below(+below: Bool, +algo: SF.Algo, +via: Via, +a: Nat, +e: D.Env) -> T.Decision:
  match below:
    case True{}:
      T.NoSwitch{T.BelowThreshold{}, D.below.detail(a, D.env.cfg(e))}
    case False{}:
      go.via(algo, via, a, e)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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.via
  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=below.detail
  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/safe.bend&name=Algo
  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=Reason