def exhausted.at

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

import cswap-bend-cli@0.1.0.0/policy/exhaust.bend as Exhaust

import Base

55def exhausted.at(+base: Bool, +m: Maybe<&2, Nat>) -> Bool:
56  match base:
57    case False{}:
58      True{}
59    case True{}:
60      exhausted.known(m)

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/exhaust:all_exhausted