Exhaust.Br: type of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/exhaust.bend as Exhaust
Lines 10-15 of cswap-bend-cli@0.1.0.0/policy/exhaust.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/exhaust.bend&start_line=10&end_line=15

import Base

# How an account is blocked: not at all, at 100 % with no known reset, or
# until the latest reset among its windows at 100 %.
type Br is Data:
  NotBlocked{}
  BlockedNoTs{}
  BlockedAt{t: Nat}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat