Exhaust.er.step: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/exhaust.bend as Exhaust
Lines 155-162 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=155&end_line=162

import Base

def er.step(+e: Er, +b: Br, +now: Nat) -> Er:
  match b:
    case NotBlocked{}:
      e
    case BlockedNoTs{}:
      ErPoison{}
    case BlockedAt{t}:
      er.at(Nat.is_le(t, now), e, t)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/exhaust.bend&name=Br
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/exhaust.bend&name=Er
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/exhaust.bend&name=er.at