def below.detail
import cswap-bend-cli@0.1.0.0/policy/decide.bend as Decideimport Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/usage.bend as U
235def below.detail(+a: Nat, +cfg: T.Config) -> String:
236 U.pct.label(Nat.sub(T.full(), a)) ++ "% < " ++ U.pct.label(cfg.threshold(cfg)) ++ "%"