Bar.no_return: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/bar.bend as Bar
Lines 148-157 of cswap-bend-cli@0.1.0.0/policy/bar.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/bar.bend&start_line=148&end_line=157

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

# The account this engine most recently left, while it is still barred.
# Proactive and consume-first triggers only: at-limit and failover escape.
def 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>:
  match t:
    case T.Proactive{}:
      nr.state(st, current, rec, us, ah, thr, now, ms)
    case T.ConsumeFirstT{}:
      nr.state(st, current, rec, us, ah, thr, now, ms)
    case o:
      None{}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/bar.bend&name=nr.state
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Trigger
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Usage