def below.go

cswap-bend-cli@0.1.0.0 · policy/decide.bend:383

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

383def below.go(+cf: Bool, +a: Nat, +e: Env) -> T.Decision:
384  match cf:
385    case True{}:
386      decide.trig(T.ConsumeFirstT{}, e)
387    case False{}:
388      T.NoSwitch{T.BelowThreshold{}, below.detail(a, env.cfg(e))}