type Br

cswap-bend-cli@0.1.0.0 · policy/exhaust.bend:10

import Base

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