def go.below

cswap-bend-cli@0.1.0.0 · policy/algo.bend:111

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

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