~/jendhub

def er.step

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

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

155def er.step(+e: Er, +b: Br, +now: Nat) -> Er:
156  match b:
157    case NotBlocked{}:
158      e
159    case BlockedNoTs{}:
160      ErPoison{}
161    case BlockedAt{t}:
162      er.at(Nat.is_le(t, now), e, t)

Uses (5)

Used by (1)