def er.at

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

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

import Base

148def er.at(+past: Bool, +e: Er, +t: Nat) -> Er:
149  match past:
150    case True{}:
151      ErPoison{}
152    case False{}:
153      er.min(e, t)

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/policy/exhaust:er.step