def none.known
cswap-bend-cli@0.1.0.0 · policy/decide.bend:179
import cswap-bend-cli@0.1.0.0/policy/decide.bend as Decide
import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
179def none.known(+k: Bool, +t: T.Trigger, +ex: Bool, +ars: Maybe<&2, Nat>, +as: List<&2, T.Account>, +us: List<&2, T.Usage>, +now: Nat, +ms: List<&2, String>) -> T.Decision:
180 match k:
181 case False{}:
182 T.NoSwitch{T.NoComparison{}, "no candidate has readable usage"}
183 case True{}:
184 none.trig(t, ex, ars, as, us, now, ms)