def no_return

cswap-bend-cli@0.1.0.0 · policy/bar.bend:148

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

148# The account this engine most recently left, while it is still barred.
149# Proactive and consume-first triggers only: at-limit and failover escape.
150def no_return(+t: T.Trigger, +st: T.State, +current: Nat, +rec: Bool, +us: List<&2, T.Usage>, +ah: Maybe<&2, Nat>, +thr: Nat, +now: Nat, +ms: List<&2, String>) -> Maybe<&2, Nat>:
151  match t:
152    case T.Proactive{}:
153      nr.state(st, current, rec, us, ah, thr, now, ms)
154    case T.ConsumeFirstT{}:
155      nr.state(st, current, rec, us, ah, thr, now, ms)
156    case o:
157      None{}